/src/lfsc/tests/

• ../
• _sat.plf
• array.smt2
• array_bv3.smt2
• array_ext.smt2
• array_ext2.smt2
• array_incompleteness1.smt2
• bv1.smt2
• bv2.smt2
• bv3.smt2
• bv_add.smt2
• bv_artih.smt2
• bv_mult.smt2
• bv_mult10.smt2
• bvand1.smt2
• bvconcat.smt2
• bvneg0_32.smt2
• bvnot32.smt2
• bvult.smt2
• cvc4_coq40d8ed.smt2
• cvc4tocoq
• cvc4tov
• dead_dnd001.smt2
• dead_dnd001_and.smt2
• eq_diamond37.smt2
• ex.smt2
• exx.smt2
• hole.smt2
• lia1.smt2
• run.sh
• sat13.smt2
• sat6.smt2
• sat7.smt2
• signatures
• simple.smt2
• swap1.smt2
• swap3.smt2
• tcong.smt2
• trans.smt2
• typesafe2.smt2
• typesafe3.smt2
• uf1.smt2
• uf2.smt2
• uf4.smt2
• uf5.smt2
• uf6.smt2
• uf7.smt2
• vmcai_bytes.smt2
• wrapper_cvc4tocoq.sh