Added the -t CLI option

This option makes tamasheq print any exception that escaped the eval
function. Thus, instead of crashing, tamasheq will exit normally.

This option is used in run_tests.sh when some of the tests do fail on
purpose (see tests/AssertFalse.ml).

1 files changed, 1 insertions, 0 deletions

diff --git a/tests/AssertFalse.ml b/tests/AssertFalse.ml
new file mode 100644
index 0000000..ff92592
--- /dev/null
+++ b/tests/AssertFalse.ml
@@ -0,0 +1 @@
+let x = assert false