uncommenting tests

Fault-lang · Apr 26, 2023 · f2f26c1 · f2f26c1
1 parent 7627c24
commit f2f26c1
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/smt/generator_test.go b/smt/generator_test.go
@@ -431,25 +431,25 @@ func TestTemporalSys2(t *testing.T) {
 
 func TestTestData(t *testing.T) {
 	specs := []string{
-		/*"testdata/bathtub.fspec",
+		"testdata/bathtub.fspec",
 		"testdata/simple.fspec",
 		"testdata/bathtub2.fspec",
 		"testdata/booleans.fspec",
 		"testdata/unknowns.fspec",
 		"testdata/swaps/swaps.fspec",
 		"testdata/swaps/swaps1.fspec",
-		"testdata/swaps/swaps2.fspec",*/
+		"testdata/swaps/swaps2.fspec",
 		"testdata/indexes.fspec",
 	}
 	smt2s := []string{
-		/*"testdata/bathtub.smt2",
+		"testdata/bathtub.smt2",
 		"testdata/simple.smt2",
 		"testdata/bathtub2.smt2",
 		"testdata/booleans.smt2",
 		"testdata/unknowns.smt2",
 		"testdata/swaps/swaps.smt2",
 		"testdata/swaps/swaps1.smt2",
-		"testdata/swaps/swaps2.smt2",*/
+		"testdata/swaps/swaps2.smt2",
 		"testdata/indexes.smt2",
 	}
 	for i, s := range specs {