progs/tests/test-manifest.txt
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Tue, 17 May 2016 03:47:33 +0100
changeset 180 42ffaca7c85e
parent 161 2778715487a9
permissions -rw-r--r--
isarfied the simplify theory
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
161
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     1
basic3.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     2
class.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     3
left-assoc.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     4
right-assoc.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     5
forced-assoc.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     6
nullsub3.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     7
repetition2.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     8
totest.txt
2778715487a9 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset
     9
osx-bsd-critical.txt