test/builtins/not_bool.sail


1
2
3
4
5
6
7
8
9

default Order dec

$include <exception_basic.sail>
$include <flow.sail>

function main (() : unit) -> unit = {
  assert(not_bool(false) == true);
  assert(not_bool(true) == false);
}