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

merging with dev

Browse Source
This commit is contained in:
Lesenechal Remi 2019-10-27 13:57:26 +01:00
parent 5a77b08aa7
commit c7056d200d
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/test/integration_tests.ml
View File

@ -658,14 +658,8 @@ let loop () : unit result =
let make_input = e_nat in let make_input = e_nat in
let make_expected = fun n -> e_nat (n * (n + 1) / 2) in let make_expected = fun n -> e_nat (n * (n + 1) / 2) in
expect_eq_n_pos_mid program "while_sum" make_input make_expected expect_eq_n_pos_mid program "while_sum" make_input make_expected
<<<<<<< HEAD
in(* For loop is currently unsupported
let%bind () =
=======
in in
let%bind () = let%bind () =
>>>>>>> First version for ForInt loops
let make_input = e_nat in let make_input = e_nat in
let make_expected = fun n -> e_int (n * (n + 1) / 2) in let make_expected = fun n -> e_int (n * (n + 1) / 2) in
expect_eq_n_pos_mid program "for_sum" make_input make_expected expect_eq_n_pos_mid program "for_sum" make_input make_expected