diff --git a/test/TestSuite b/test/TestSuite
new file mode 100644
index 0000000..bedc0e5
Binary files /dev/null and b/test/TestSuite differ
diff --git a/test/TestSuite.amos b/test/TestSuite.amos
index 521803a..1cd02b1 100644
Binary files a/test/TestSuite.amos and b/test/TestSuite.amos differ