Added test cases for builtins

Added library for simple integer arithmetic functions in lib/arith.sail

WIP TeX file for formatting latex output included in lib/sail.tex

Fixes for bugs in sail_lib

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