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

WIP: add test

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

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

@ -18,4 +18,18 @@ function rm (var m : storage_) : storage_ is block {
function gf (const m : storage_) : int is begin skip end with get_force(23, m.0) 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]
function mutimaps (const m : storage_; const n : storage_) : storage_ is block
{
var foo : big_map(int,int) := m.0 ;
foo[42] := 0 ;
n.0[42] := get_force(42, foo) ;
} with n
const empty_big_map : big_map(int,int) = big_map end
const map1 : big_map(int,int) = big_map
23 -> 0 ;
42 -> 0 ;
end