Fix number of negative tests expected to fail

FStarLang · May 9, 2015 · 39063dc · 39063dc
1 parent e84cd5a
commit 39063dc
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/examples/unit-tests/Makefile b/examples/unit-tests/Makefile
@@ -6,7 +6,10 @@ all: .all.ver testmref all-neg
 
 all-neg: $(NEGFILES)
 	-$(FSTAR) --admit_fsi Set $(STDLIB) $^
-	@echo "EXPECT 33 FAILURES<------------------------------------"
+	@echo "---------------------------------------"
+	@echo "       Done ! EXPECT 32 FAILURES       "
+	@echo "---------------------------------------"
+
 
 inverse:
 	$(FSTAR) --admit_fsi Seq $(FSTAR_HOME)/lib/classical.fst $(FSTAR_HOME)/lib/ext.fst $(FSTAR_HOME)/lib/seq.fsi inverse.fst --max_fuel 0 --max_ifuel 3 --initial_ifuel 3 --initial_fuel 0