summaryrefslogtreecommitdiff
path: root/test/builtins/not_bool.sail
diff options
context:
space:
mode:
Diffstat (limited to 'test/builtins/not_bool.sail')
-rw-r--r--test/builtins/not_bool.sail9
1 files changed, 9 insertions, 0 deletions
diff --git a/test/builtins/not_bool.sail b/test/builtins/not_bool.sail
new file mode 100644
index 00000000..5bd8dd47
--- /dev/null
+++ b/test/builtins/not_bool.sail
@@ -0,0 +1,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);
+} \ No newline at end of file