summaryrefslogtreecommitdiff
path: root/test/regress/regress0/ho
ModeNameSize
-rw-r--r--apply-collapse-sat.smt2371logplain
-rw-r--r--apply-collapse-unsat.smt2433logplain
-rw-r--r--bug_nodbuilding_interpreted_SYO042^1.p2074logplain
-rw-r--r--cong-full-apply.smt2267logplain
-rw-r--r--cong.smt2332logplain
-rw-r--r--declare-fun-variants.smt2270logplain
-rw-r--r--def-fun-flatten.smt2251logplain
-rw-r--r--ext-finite-unsat.smt2306logplain
-rw-r--r--ext-ho-nested-lambda-model.smt2317logplain
-rw-r--r--ext-ho.smt2284logplain
-rw-r--r--ext-sat-partial-eval.smt2311logplain
-rw-r--r--ext-sat.smt2268logplain
-rw-r--r--finite-fun-ext.smt2232logplain
-rw-r--r--fta0144-alpha-eq.smt21396logplain
-rw-r--r--fta0210.smt22717logplain
-rw-r--r--ho-exponential-model.smt2828logplain
-rw-r--r--ho-match-fun-suffix.smt2257logplain
-rw-r--r--ho-matching-enum-2.smt2348logplain
-rw-r--r--ho-matching-enum.smt2421logplain
-rw-r--r--ho-matching-nested-app.smt2295logplain
-rw-r--r--ho-std-fmf.smt2467logplain
-rw-r--r--hoa0008.smt22867logplain
-rw-r--r--ite-apply-eq.smt2249logplain
-rw-r--r--lambda-equality-non-canon.smt2180logplain
-rw-r--r--match-middle.smt2433logplain
-rw-r--r--modulo-func-equality.smt2286logplain
-rw-r--r--shadowing-defs.smt22088logplain
-rw-r--r--simple-matching-partial.smt2511logplain
-rw-r--r--simple-matching.smt2248logplain
-rw-r--r--trans.smt2255logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback