From a8def8c2694a2a96fd6d219529aa28bcfe5a384d Mon Sep 17 00:00:00 2001 From: John David Pressman Date: Tue, 24 Sep 2019 12:18:07 -0700 Subject: [PATCH] Add test for boolean not --- src/contracts/boolean_operators.ligo | 3 +++ src/test/integration_tests.ml | 1 + 2 files changed, 4 insertions(+) diff --git a/src/contracts/boolean_operators.ligo b/src/contracts/boolean_operators.ligo index 4b53ff2d5..0d88c0f03 100644 --- a/src/contracts/boolean_operators.ligo +++ b/src/contracts/boolean_operators.ligo @@ -11,3 +11,6 @@ function and_true (const b : bool) : bool is function and_false (const b : bool) : bool is begin skip end with b and False + +function not_bool (const b: bool) : bool is + begin skip end with not b diff --git a/src/test/integration_tests.ml b/src/test/integration_tests.ml index baea8d256..9582122d4 100644 --- a/src/test/integration_tests.ml +++ b/src/test/integration_tests.ml @@ -127,6 +127,7 @@ let bool_expression () : unit result = ("or_false", fun b -> b || false) ; ("and_true", fun b -> b && true) ; ("and_false", fun b -> b && false) ; + ("not_bool", fun b -> not b) ; ] in ok ()