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

Add test for boolean not

Browse Source
This commit is contained in:
John David Pressman 2019-09-24 12:18:07 -07:00
parent 0cfb40f54d
commit a8def8c269
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/contracts/boolean_operators.ligo
View File

@ -11,3 +11,6 @@ function and_true (const b : bool) : bool is
function and_false (const b : bool) : bool is function and_false (const b : bool) : bool is
begin skip end with b and False begin skip end with b and False
function not_bool (const b: bool) : bool is
begin skip end with not b

1
src/test/integration_tests.ml
View File

@ -127,6 +127,7 @@ let bool_expression () : unit result =
("or_false", fun b -> b || false) ; ("or_false", fun b -> b || false) ;
("and_true", fun b -> b && true) ; ("and_true", fun b -> b && true) ;
("and_false", fun b -> b && false) ; ("and_false", fun b -> b && false) ;
("not_bool", fun b -> not b) ;
] in ] in
ok () ok ()