Files
mercury/tests/general/NP_Entry
Fergus Henderson 2903eed816 Add some more regression tests.
tests/general:
	Add some more regression tests.
	Remove the old Makefile, since we use the Mmake file now.
1995-06-19 10:11:37 +00:00

9 lines
137 B
Plaintext

arithmetic r("")
string_test r("")
string_test_2 r("")
interpreter r("")
petdr1 r("")
disj_disj r("")
nondet_disj r("")
partition r("")