balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add failing deep set removal test to contracts

Browse Source
This commit is contained in:
John David Pressman 2019-10-14 15:48:20 -07:00 committed by Tom Jack
parent 79afad5bc7
commit 0b8c0dad3f
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/test/contracts/set_arithmetic.ligo
View File

@ -17,6 +17,9 @@ function remove_op (const s : set(string)) : set(string) is
function remove_syntax (var s : set(string)) : set(string) is
begin remove "foobar" from set s; end with s
function remove_deep (var s : set(string) * nat) : set(string) * nat is
begin remove "foobar" from set s.0; end with s
function patch_op (var s: set(string)) : set(string) is
begin patch s with set ["foobar"]; end with s