diff options
| author |  rustanleino <unknown> | 2010-05-12 01:00:42 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-05-12 01:00:42 +0000 |
| commit | 33a5c553fab275428437c0439667fc09d2f89dce (patch) | |
| tree | 531ad9f246c4996e71371f925a11570e417915c9 /BCT/Test/alltests.txt | |
| parent | e5fcbeda373f505f4ebfd29cafe776d9ec7b8db5 (diff) | |
BCT: Added prelude. Started test1 as a test of verification.
Diffstat (limited to 'BCT/Test/alltests.txt')
| -rw-r--r-- | BCT/Test/alltests.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/BCT/Test/alltests.txt b/BCT/Test/alltests.txt index 9d2f739d..0c01ab99 100644 --- a/BCT/Test/alltests.txt +++ b/BCT/Test/alltests.txt @@ -1 +1,2 @@ test0 Use Translation of Statements
+test1 Use Some simple verification tests
|