aboutsummaryrefslogtreecommitdiffstats
path: root/src/lfsc/tests
ModeNameSize
-rwxr-xr-x_sat.plf2302logstatsplain
-rw-r--r--array.smt2376logstatsplain
-rw-r--r--array_bv3.smt2731logstatsplain
-rw-r--r--array_ext.smt2484logstatsplain
-rw-r--r--array_ext2.smt2698logstatsplain
-rw-r--r--array_incompleteness1.smt2782logstatsplain
-rw-r--r--bv1.smt292logstatsplain
-rw-r--r--bv2.smt2184logstatsplain
-rw-r--r--bv3.smt2138logstatsplain
-rw-r--r--bv_add.smt2290logstatsplain
-rw-r--r--bv_artih.smt2567logstatsplain
-rw-r--r--bv_mult.smt2290logstatsplain
-rw-r--r--bv_mult10.smt2318logstatsplain
-rw-r--r--bvand1.smt2225logstatsplain
-rw-r--r--bvconcat.smt2244logstatsplain
-rw-r--r--bvneg0_32.smt2194logstatsplain
-rw-r--r--bvnot32.smt2194logstatsplain
-rw-r--r--bvult.smt2499logstatsplain
-rw-r--r--cvc4_coq40d8ed.smt2301logstatsplain
-rwxr-xr-xcvc4tocoq890logstatsplain
-rwxr-xr-xcvc4tov1689logstatsplain
-rw-r--r--dead_dnd001.smt22094logstatsplain
-rw-r--r--dead_dnd001_and.smt21991logstatsplain
-rw-r--r--eq_diamond37.smt25442logstatsplain
-rw-r--r--ex.smt2162logstatsplain
-rw-r--r--exx.smt2270logstatsplain
-rw-r--r--hole.smt22834logstatsplain
-rw-r--r--lia1.smt2228logstatsplain
-rwxr-xr-xrun.sh219logstatsplain
-rw-r--r--sat13.smt2147logstatsplain
-rw-r--r--sat6.smt2211logstatsplain
-rw-r--r--sat7.smt2221logstatsplain
d---------signatures317logstatsplain
-rw-r--r--simple.smt2292logstatsplain
-rw-r--r--swap1.smt2868logstatsplain
-rw-r--r--swap3.smt22766logstatsplain
-rw-r--r--tcong.smt2230logstatsplain
-rw-r--r--trans.smt2275logstatsplain
-rw-r--r--typesafe2.smt2906logstatsplain
-rw-r--r--typesafe3.smt2869logstatsplain
-rw-r--r--uf1.smt2254logstatsplain
-rw-r--r--uf2.smt2212logstatsplain
-rw-r--r--uf4.smt2226logstatsplain
-rw-r--r--uf5.smt2275logstatsplain
-rw-r--r--uf6.smt2196logstatsplain
-rw-r--r--uf7.smt2203logstatsplain
-rw-r--r--vmcai_bytes.smt21166logstatsplain
-rwxr-xr-xwrapper_cvc4tocoq.sh295logstatsplain
generated by cgit (git 2.34.1) at 2024-06-29 15:50:09 +0000