summaryrefslogtreecommitdiff
path: root/test/regress/regress1/sets
ModeNameSize
-rw-r--r--ListElem.hs.fqout.cvc4.38.smt22519logplain
-rw-r--r--ListElts.hs.fqout.cvc4.317.smt24059logplain
-rw-r--r--Makefile141logplain
-rw-r--r--Makefile.am1494logplain
-rw-r--r--TalkingAboutSets.hs.fqout.cvc4.3577.smt210054logplain
-rw-r--r--UniqueZipper.hs.1030minimized.cvc4.smt26262logplain
-rw-r--r--UniqueZipper.hs.1030minimized2.cvc4.smt26241logplain
-rw-r--r--UniqueZipper.hs.fqout.cvc4.10.smt23927logplain
-rw-r--r--UniqueZipper.hs.fqout.cvc4.1832.smt27554logplain
-rw-r--r--arjun-set-univ.cvc219logplain
-rw-r--r--card-3.smt2344logplain
-rw-r--r--card-4.smt2613logplain
-rw-r--r--card-5.smt2653logplain
-rw-r--r--card-6.smt2324logplain
-rw-r--r--card-7.smt21266logplain
-rw-r--r--card-vc6-minimized.smt2417logplain
-rw-r--r--copy_check_heap_access_33_4.smt24899logplain
-rw-r--r--deepmeas0.hs.fqout.cvc4.41.smt22783logplain
-rw-r--r--fuzz14418.smt25228logplain
-rw-r--r--fuzz15201.smt28203logplain
-rw-r--r--fuzz31811.smt25969logplain
-rw-r--r--insert_invariant_37_2.smt231749logplain
-rw-r--r--lemmabug-ListElts317minimized.smt23072logplain
-rw-r--r--remove_check_free_31_6.smt218953logplain
-rw-r--r--setofsets-disequal.smt23120logplain
-rw-r--r--sets-disequal.smt2480logplain
-rw-r--r--sets-tuple-poly.cvc265logplain
-rw-r--r--sharingbug.smt24583logplain
-rw-r--r--univ-set-uf-elim.smt2493logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback