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

clean big_map tests

Browse Source
This commit is contained in:
Lesenechal Remi 2019-10-18 17:36:33 +02:00
parent 9ad0859a4c
commit 23993a4488
1 changed files with 5 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/test/contracts/big_map.ligo
View File

@ -1,30 +1,21 @@
type storage_ is big_map(int, int) * unit
function main(const p : unit; const s : storage_) : list(operation) * storage_ is
var r : big_map(int, int) := s.0 ;
var toto : option (int) := Some(0);
block {
toto := r[23];
r[2] := 444;
s.0 := r;
toto := s.0[23];
s.0[2] := 444;
}
with ((nil: list(operation)), s)
function set_ (var n : int ; var m : storage_) : storage_ is block {
var tmp : big_map(int,int) := m.0 ;
tmp[23] := n ;
m.0 := tmp ;
m.0[23] := n ;
} with m
function rm (var m : storage_) : storage_ is block {
var tmp : big_map(int,int) := m.0 ;
remove 42 from map tmp;
m.0 := tmp;
remove 42 from map m.0;
} with m
function gf (const m : storage_) : int is begin skip end with get_force(23, m.0)
function get (const m : storage_) : option(int) is
begin
skip
end with m.0[42]
function get (const m : storage_) : option(int) is begin skip end with m.0[42]