diff: tests/general/Mmake

[Fergus Henderson]

tests/general/Mmake:
	Enable the nondet tests in non-gc grades, since the non-gc
	version of solutions works now.  Also enable the test
	`nondet_ite_2', since it now works.

Index: tests/general/Mmake
===================================================================
RCS file: /home/staff/zs/imp/tests/general/Mmake,v
retrieving revision 1.44
diff -u -r1.44 Mmake
--- Mmake	1997/06/16 09:12:33	1.44
+++ Mmake	1997/06/17 16:26:53
@@ -13,7 +13,7 @@
 
 #-----------------------------------------------------------------------------#
 
-NONDETPROGS=	commit_bug \
+PROGS=		commit_bug \
 		commit_bug_2 \
 		disj_disj \
 		dnf \
@@ -26,9 +26,9 @@
 		nondet_ite_4 \
 		nondetlive \
 		partition \
-		semidet_lambda
-
-DETPROGS=	arithmetic \
+		semidet_lambda \
+		\
+		arithmetic \
 		det_complicated_unify \
 		determinism_inlining \
 		double_error \
@@ -51,21 +51,12 @@
 		string_test \
 		string_test_2 \
 		univ \
-		unreachable
-
-NOTWORKING=	nondet_ite_2 \
-		space
-
-#
-# The nondet tests use solutions/2, which is currently implemented only for GC
-# grades.  So only include those tests if the grade is a GC grade.
-#
+		unreachable \
+		\
+		nondet_ite_2
 
-ifeq ("$(findstring .gc, $(GRADE))","")
-PROGS=$(DETPROGS)
-else
-PROGS=$(DETPROGS) $(NONDETPROGS)
-endif
+# The following test cases do not yet work:
+#		space		# seg faults, except at -O6; reason unknown
 
 # mode_inf_bug needs to be compiled with `--infer-all'.
 MCFLAGS-mode_inf_bug = --infer-all

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.