From 4e8d63ace93a06cb416618714408ae1c41223812 Mon Sep 17 00:00:00 2001
From: Grégoire Duchêne <gduchene@awhk.org>
Date: Mon, 29 Sep 2014 14:41:29 +0200
Subject: 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).
---
 tests/AssertFalse.expected | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 tests/AssertFalse.expected

(limited to 'tests/AssertFalse.expected')

diff --git a/tests/AssertFalse.expected b/tests/AssertFalse.expected
new file mode 100644
index 0000000..1b12ae5
--- /dev/null
+++ b/tests/AssertFalse.expected
@@ -0,0 +1 @@
+File "AssertFalse.ml", line 1, characters 8-14: Assertion failed
-- 
cgit v1.2.3-70-g09d2