├── .clang-format ├── .github └── workflows │ └── ci.yml ├── .gitignore ├── AUTHORS ├── CMakeLists.txt ├── LICENSE.txt ├── README.md ├── VERSION ├── configure.sh ├── examples ├── .gitignore └── btorsim │ ├── count2.btor2 │ ├── count4.btor2 │ ├── factorial4even.btor2 │ ├── noninitstate.btor2 │ ├── ponylink-slaveTXlen-sat.btor2 │ ├── recount4.btor2 │ ├── run-examples.sh │ ├── twocount2.btor2 │ ├── twocount2c.btor2 │ └── twocount32.btor2 ├── mksrcrelease.sh ├── setup-deps.sh ├── src ├── CMakeLists.txt ├── btor2aiger.cpp ├── btor2parser │ ├── btor2parser.c │ └── btor2parser.h ├── btorsim │ ├── btorsim.cpp │ ├── btorsimam.cpp │ ├── btorsimam.h │ ├── btorsimbv.c │ ├── btorsimbv.h │ ├── btorsimhelpers.cpp │ ├── btorsimhelpers.h │ ├── btorsimrng.c │ ├── btorsimrng.h │ ├── btorsimstate.cpp │ ├── btorsimstate.h │ ├── btorsimvcd.cpp │ └── btorsimvcd.h ├── btorsplit.cpp ├── catbtor.c └── util │ ├── btor2mem.h │ └── btor2stack.h └── test ├── run-coverage-tests.sh ├── runtests.sh └── tests ├── .gitignore ├── aa.in ├── aa.out ├── addnlafterfirstarg.in ├── addnlafterfirstarg.out ├── addnospaceafterfirstarg.in ├── addnospaceafterfirstarg.out ├── allop2s.in ├── allop2s.out ├── andargmismatch.in ├── andargmismatch.out ├── andlenospace.in ├── andlenospace.out ├── andonesone.in ├── andonesone.out ├── andoutmismatch.in ├── andoutmismatch.out ├── andtrailspace.in ├── andtrailspace.out ├── argidlarger.in ├── argidlarger.out ├── array.in ├── array.out ├── arrayasbv.in ├── arrayasbv.out ├── arraynospaceaftersort.in ├── arraynospaceaftersort.out ├── empty.in ├── empty.out ├── emptytag.in ├── emptytag.out ├── gap.in ├── gap.out ├── ii.in ├── ii.out ├── implies2ndargundef.in ├── implies2ndargundef.out ├── input.in ├── input.out ├── inputemptysym.in ├── inputemptysym.out ├── inputeofinsym.in ├── inputeofinsym.out ├── inputsymspace.in ├── inputsymspace.out ├── invalidargid.in ├── invalidargid.out ├── invalidid.in ├── invalidid.out ├── invalidid0.in ├── invalidid0.out ├── invalidtag.in ├── invalidtag.out ├── ll.in ├── ll.out ├── maxid.in ├── maxid.out ├── maxlen.in ├── maxlen.out ├── mm.in ├── mm.out ├── nlnlnl.in ├── nlnlnl.out ├── nn.in ├── nn.out ├── nondigitid.in ├── nondigitid.out ├── nondigitlen.in ├── nondigitlen.out ├── nonewlinecomment.in ├── nonewlinecomment.out ├── nor2ndargnospace.in ├── nor2ndargnospace.out ├── nospaceafterid.in ├── nospaceafterid.out ├── onesnospace.in ├── onesnospace.out ├── oo.in ├── oo.out ├── samearg.in ├── samearg.out ├── sortarray.in ├── sortarray.out ├── sortarrayargs1.in ├── sortarrayargs1.out ├── sortarrayargs2.in ├── sortarrayargs2.out ├── sortarrayargs3.in ├── sortarrayargs3.out ├── sortarrayargs4.in ├── sortarrayargs4.out ├── sortarraywarrayarg.in ├── sortarraywarrayarg.out ├── sortasarg.in ├── sortasarg.out ├── sortbitvec.in ├── sortbitvec.out ├── sortbvnobw.in ├── sortbvnobw.out ├── sortnotag.in ├── sortnotag.out ├── space.in ├── space.out ├── ss.in ├── ss.out ├── state.in ├── state.out ├── statenospace.in ├── statenospace.out ├── tab.in ├── tab.out ├── tagnospace.in ├── tagnospace.out ├── undefinedargid.in ├── undefinedargid.out ├── unordered.in ├── unordered.out ├── uu.in ├── uu.out ├── vv.in ├── vv.out ├── xx.in ├── xx.out ├── zero1.in ├── zero1.out ├── zero32.in ├── zero32.out ├── zeroid.in ├── zeroid.out ├── zerolen.in ├── zerolen.out ├── zerowitharg.in ├── zerowitharg.out ├── zz.in └── zz.out /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/.clang-format -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | *.o 2 | makefile 3 | catbtor 4 | deps/ 5 | build/ 6 | -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/AUTHORS -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/README.md -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | 1.0.2 2 | -------------------------------------------------------------------------------- /configure.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/configure.sh -------------------------------------------------------------------------------- /examples/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/examples/.gitignore -------------------------------------------------------------------------------- /examples/btorsim/count2.btor2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/examples/btorsim/count2.btor2 -------------------------------------------------------------------------------- /examples/btorsim/count4.btor2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/examples/btorsim/count4.btor2 -------------------------------------------------------------------------------- /examples/btorsim/factorial4even.btor2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/examples/btorsim/factorial4even.btor2 -------------------------------------------------------------------------------- /examples/btorsim/noninitstate.btor2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/examples/btorsim/noninitstate.btor2 -------------------------------------------------------------------------------- /examples/btorsim/ponylink-slaveTXlen-sat.btor2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/examples/btorsim/ponylink-slaveTXlen-sat.btor2 -------------------------------------------------------------------------------- /examples/btorsim/recount4.btor2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/examples/btorsim/recount4.btor2 -------------------------------------------------------------------------------- /examples/btorsim/run-examples.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/examples/btorsim/run-examples.sh -------------------------------------------------------------------------------- /examples/btorsim/twocount2.btor2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/examples/btorsim/twocount2.btor2 -------------------------------------------------------------------------------- /examples/btorsim/twocount2c.btor2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/examples/btorsim/twocount2c.btor2 -------------------------------------------------------------------------------- /examples/btorsim/twocount32.btor2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/examples/btorsim/twocount32.btor2 -------------------------------------------------------------------------------- /mksrcrelease.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/mksrcrelease.sh -------------------------------------------------------------------------------- /setup-deps.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/setup-deps.sh -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/btor2aiger.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btor2aiger.cpp -------------------------------------------------------------------------------- /src/btor2parser/btor2parser.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btor2parser/btor2parser.c -------------------------------------------------------------------------------- /src/btor2parser/btor2parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btor2parser/btor2parser.h -------------------------------------------------------------------------------- /src/btorsim/btorsim.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsim/btorsim.cpp -------------------------------------------------------------------------------- /src/btorsim/btorsimam.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsim/btorsimam.cpp -------------------------------------------------------------------------------- /src/btorsim/btorsimam.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsim/btorsimam.h -------------------------------------------------------------------------------- /src/btorsim/btorsimbv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsim/btorsimbv.c -------------------------------------------------------------------------------- /src/btorsim/btorsimbv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsim/btorsimbv.h -------------------------------------------------------------------------------- /src/btorsim/btorsimhelpers.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsim/btorsimhelpers.cpp -------------------------------------------------------------------------------- /src/btorsim/btorsimhelpers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsim/btorsimhelpers.h -------------------------------------------------------------------------------- /src/btorsim/btorsimrng.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsim/btorsimrng.c -------------------------------------------------------------------------------- /src/btorsim/btorsimrng.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsim/btorsimrng.h -------------------------------------------------------------------------------- /src/btorsim/btorsimstate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsim/btorsimstate.cpp -------------------------------------------------------------------------------- /src/btorsim/btorsimstate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsim/btorsimstate.h -------------------------------------------------------------------------------- /src/btorsim/btorsimvcd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsim/btorsimvcd.cpp -------------------------------------------------------------------------------- /src/btorsim/btorsimvcd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsim/btorsimvcd.h -------------------------------------------------------------------------------- /src/btorsplit.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/btorsplit.cpp -------------------------------------------------------------------------------- /src/catbtor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/catbtor.c -------------------------------------------------------------------------------- /src/util/btor2mem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/util/btor2mem.h -------------------------------------------------------------------------------- /src/util/btor2stack.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/src/util/btor2stack.h -------------------------------------------------------------------------------- /test/run-coverage-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/run-coverage-tests.sh -------------------------------------------------------------------------------- /test/runtests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/runtests.sh -------------------------------------------------------------------------------- /test/tests/.gitignore: -------------------------------------------------------------------------------- 1 | *.log 2 | -------------------------------------------------------------------------------- /test/tests/aa.in: -------------------------------------------------------------------------------- 1 | 1 aa 1 2 | -------------------------------------------------------------------------------- /test/tests/aa.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/aa.out -------------------------------------------------------------------------------- /test/tests/addnlafterfirstarg.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 2 zero 1 3 | 3 add 1 2 4 | -------------------------------------------------------------------------------- /test/tests/addnlafterfirstarg.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/addnlafterfirstarg.out -------------------------------------------------------------------------------- /test/tests/addnospaceafterfirstarg.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 2 zero 1 3 | 3 add 1 2nospace 4 | -------------------------------------------------------------------------------- /test/tests/addnospaceafterfirstarg.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/addnospaceafterfirstarg.out -------------------------------------------------------------------------------- /test/tests/allop2s.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/allop2s.in -------------------------------------------------------------------------------- /test/tests/allop2s.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/allop2s.out -------------------------------------------------------------------------------- /test/tests/andargmismatch.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/andargmismatch.in -------------------------------------------------------------------------------- /test/tests/andargmismatch.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/andargmismatch.out -------------------------------------------------------------------------------- /test/tests/andlenospace.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 2 ones 1 3 | 3 add 1-2 -2 4 | -------------------------------------------------------------------------------- /test/tests/andlenospace.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/andlenospace.out -------------------------------------------------------------------------------- /test/tests/andonesone.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/andonesone.in -------------------------------------------------------------------------------- /test/tests/andonesone.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/andonesone.out -------------------------------------------------------------------------------- /test/tests/andoutmismatch.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/andoutmismatch.in -------------------------------------------------------------------------------- /test/tests/andoutmismatch.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/andoutmismatch.out -------------------------------------------------------------------------------- /test/tests/andtrailspace.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 2 zero 1 3 | 3 and 1 2 2 4 | -------------------------------------------------------------------------------- /test/tests/andtrailspace.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/andtrailspace.out -------------------------------------------------------------------------------- /test/tests/argidlarger.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 1 2 | 2 and 1 3 3 | -------------------------------------------------------------------------------- /test/tests/argidlarger.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/argidlarger.out -------------------------------------------------------------------------------- /test/tests/array.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/array.in -------------------------------------------------------------------------------- /test/tests/array.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/array.out -------------------------------------------------------------------------------- /test/tests/arrayasbv.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/arrayasbv.in -------------------------------------------------------------------------------- /test/tests/arrayasbv.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/arrayasbv.out -------------------------------------------------------------------------------- /test/tests/arraynospaceaftersort.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/arraynospaceaftersort.in -------------------------------------------------------------------------------- /test/tests/arraynospaceaftersort.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/arraynospaceaftersort.out -------------------------------------------------------------------------------- /test/tests/empty.in: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/tests/empty.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/tests/emptytag.in: -------------------------------------------------------------------------------- 1 | 1 2 | -------------------------------------------------------------------------------- /test/tests/emptytag.out: -------------------------------------------------------------------------------- 1 | *** catbtor: parse error in 'emptytag.in' line 2: expected tag 2 | -------------------------------------------------------------------------------- /test/tests/gap.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 3 input 1 3 | -------------------------------------------------------------------------------- /test/tests/gap.out: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 3 input 1 3 | -------------------------------------------------------------------------------- /test/tests/ii.in: -------------------------------------------------------------------------------- 1 | 1 ii 1 2 | -------------------------------------------------------------------------------- /test/tests/ii.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/ii.out -------------------------------------------------------------------------------- /test/tests/implies2ndargundef.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 2 zero 1 3 | 4 implies 1 2 3 4 | -------------------------------------------------------------------------------- /test/tests/implies2ndargundef.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/implies2ndargundef.out -------------------------------------------------------------------------------- /test/tests/input.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 1 2 | 2 input 1 3 | -------------------------------------------------------------------------------- /test/tests/input.out: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 1 2 | 2 input 1 3 | -------------------------------------------------------------------------------- /test/tests/inputemptysym.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 1 2 | 2 input 1 3 | -------------------------------------------------------------------------------- /test/tests/inputemptysym.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/inputemptysym.out -------------------------------------------------------------------------------- /test/tests/inputeofinsym.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 2 input 1 sym 3 | -------------------------------------------------------------------------------- /test/tests/inputeofinsym.out: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 2 input 1 sym 3 | -------------------------------------------------------------------------------- /test/tests/inputsymspace.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 2 input 1 sym bol 3 | -------------------------------------------------------------------------------- /test/tests/inputsymspace.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/inputsymspace.out -------------------------------------------------------------------------------- /test/tests/invalidargid.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 1 2 | 2 and 1 3 3 | -------------------------------------------------------------------------------- /test/tests/invalidargid.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/invalidargid.out -------------------------------------------------------------------------------- /test/tests/invalidid.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 1 input 1 3 | -------------------------------------------------------------------------------- /test/tests/invalidid.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/invalidid.out -------------------------------------------------------------------------------- /test/tests/invalidid0.in: -------------------------------------------------------------------------------- 1 | 0 sort bitvec 1 2 | -------------------------------------------------------------------------------- /test/tests/invalidid0.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/invalidid0.out -------------------------------------------------------------------------------- /test/tests/invalidtag.in: -------------------------------------------------------------------------------- 1 | 1 0 2 | -------------------------------------------------------------------------------- /test/tests/invalidtag.out: -------------------------------------------------------------------------------- 1 | *** catbtor: parse error in 'invalidtag.in' line 1: expected tag 2 | -------------------------------------------------------------------------------- /test/tests/ll.in: -------------------------------------------------------------------------------- 1 | 1 ll 1 2 | -------------------------------------------------------------------------------- /test/tests/ll.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/ll.out -------------------------------------------------------------------------------- /test/tests/maxid.in: -------------------------------------------------------------------------------- 1 | 34@\ -------------------------------------------------------------------------------- /test/tests/maxid.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/maxid.out -------------------------------------------------------------------------------- /test/tests/maxlen.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 2147483648 2 | -------------------------------------------------------------------------------- /test/tests/maxlen.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/maxlen.out -------------------------------------------------------------------------------- /test/tests/mm.in: -------------------------------------------------------------------------------- 1 | 1 mm 1 2 | -------------------------------------------------------------------------------- /test/tests/mm.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/mm.out -------------------------------------------------------------------------------- /test/tests/nlnlnl.in: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | -------------------------------------------------------------------------------- /test/tests/nlnlnl.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/tests/nn.in: -------------------------------------------------------------------------------- 1 | 1 nn 1 2 | -------------------------------------------------------------------------------- /test/tests/nn.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/nn.out -------------------------------------------------------------------------------- /test/tests/nondigitid.in: -------------------------------------------------------------------------------- 1 | a 2 | -------------------------------------------------------------------------------- /test/tests/nondigitid.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/nondigitid.out -------------------------------------------------------------------------------- /test/tests/nondigitlen.in: -------------------------------------------------------------------------------- 1 | 1 and a 2 | -------------------------------------------------------------------------------- /test/tests/nondigitlen.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/nondigitlen.out -------------------------------------------------------------------------------- /test/tests/nonewlinecomment.in: -------------------------------------------------------------------------------- 1 | ; no new line in comment -------------------------------------------------------------------------------- /test/tests/nonewlinecomment.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/nonewlinecomment.out -------------------------------------------------------------------------------- /test/tests/nor2ndargnospace.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 2 zero 1 3 | 3 nor 1 3 3nospace 4 | -------------------------------------------------------------------------------- /test/tests/nor2ndargnospace.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/nor2ndargnospace.out -------------------------------------------------------------------------------- /test/tests/nospaceafterid.in: -------------------------------------------------------------------------------- 1 | 1nospace 2 | -------------------------------------------------------------------------------- /test/tests/nospaceafterid.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/nospaceafterid.out -------------------------------------------------------------------------------- /test/tests/onesnospace.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 2 ones 1nospace 3 | -------------------------------------------------------------------------------- /test/tests/onesnospace.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/onesnospace.out -------------------------------------------------------------------------------- /test/tests/oo.in: -------------------------------------------------------------------------------- 1 | 1 oo 1 2 | -------------------------------------------------------------------------------- /test/tests/oo.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/oo.out -------------------------------------------------------------------------------- /test/tests/samearg.in: -------------------------------------------------------------------------------- 1 | 1 and 1 1 2 | -------------------------------------------------------------------------------- /test/tests/samearg.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/samearg.out -------------------------------------------------------------------------------- /test/tests/sortarray.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortarray.in -------------------------------------------------------------------------------- /test/tests/sortarray.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortarray.out -------------------------------------------------------------------------------- /test/tests/sortarrayargs1.in: -------------------------------------------------------------------------------- 1 | 1 sort array 2 | -------------------------------------------------------------------------------- /test/tests/sortarrayargs1.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortarrayargs1.out -------------------------------------------------------------------------------- /test/tests/sortarrayargs2.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortarrayargs2.in -------------------------------------------------------------------------------- /test/tests/sortarrayargs2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortarrayargs2.out -------------------------------------------------------------------------------- /test/tests/sortarrayargs3.in: -------------------------------------------------------------------------------- 1 | 1 sort array 1 2 | -------------------------------------------------------------------------------- /test/tests/sortarrayargs3.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortarrayargs3.out -------------------------------------------------------------------------------- /test/tests/sortarrayargs4.in: -------------------------------------------------------------------------------- 1 | 1 sort array 1 1 2 | -------------------------------------------------------------------------------- /test/tests/sortarrayargs4.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortarrayargs4.out -------------------------------------------------------------------------------- /test/tests/sortarraywarrayarg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortarraywarrayarg.in -------------------------------------------------------------------------------- /test/tests/sortarraywarrayarg.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortarraywarrayarg.out -------------------------------------------------------------------------------- /test/tests/sortasarg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortasarg.in -------------------------------------------------------------------------------- /test/tests/sortasarg.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortasarg.out -------------------------------------------------------------------------------- /test/tests/sortbitvec.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortbitvec.in -------------------------------------------------------------------------------- /test/tests/sortbitvec.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortbitvec.out -------------------------------------------------------------------------------- /test/tests/sortbvnobw.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 2 | -------------------------------------------------------------------------------- /test/tests/sortbvnobw.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/sortbvnobw.out -------------------------------------------------------------------------------- /test/tests/sortnotag.in: -------------------------------------------------------------------------------- 1 | 1 sort 1 2 | -------------------------------------------------------------------------------- /test/tests/sortnotag.out: -------------------------------------------------------------------------------- 1 | *** catbtor: parse error in 'sortnotag.in' line 1: expected tag 2 | -------------------------------------------------------------------------------- /test/tests/space.in: -------------------------------------------------------------------------------- 1 | ; next line has an empty space 2 | 3 | -------------------------------------------------------------------------------- /test/tests/space.out: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/tests/ss.in: -------------------------------------------------------------------------------- 1 | 1 ss 1 2 | -------------------------------------------------------------------------------- /test/tests/ss.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/ss.out -------------------------------------------------------------------------------- /test/tests/state.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/state.in -------------------------------------------------------------------------------- /test/tests/state.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/state.out -------------------------------------------------------------------------------- /test/tests/statenospace.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 2 state 1nospace 3 | -------------------------------------------------------------------------------- /test/tests/statenospace.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/statenospace.out -------------------------------------------------------------------------------- /test/tests/tab.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/tab.in -------------------------------------------------------------------------------- /test/tests/tab.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/tab.out -------------------------------------------------------------------------------- /test/tests/tagnospace.in: -------------------------------------------------------------------------------- 1 | 1 tag0 2 | -------------------------------------------------------------------------------- /test/tests/tagnospace.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/tagnospace.out -------------------------------------------------------------------------------- /test/tests/undefinedargid.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 1 2 | 3 and 1 2 2 3 | -------------------------------------------------------------------------------- /test/tests/undefinedargid.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/undefinedargid.out -------------------------------------------------------------------------------- /test/tests/unordered.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/unordered.in -------------------------------------------------------------------------------- /test/tests/unordered.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/unordered.out -------------------------------------------------------------------------------- /test/tests/uu.in: -------------------------------------------------------------------------------- 1 | 1 uu 1 2 | -------------------------------------------------------------------------------- /test/tests/uu.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/uu.out -------------------------------------------------------------------------------- /test/tests/vv.in: -------------------------------------------------------------------------------- 1 | 1 vv 1 2 | -------------------------------------------------------------------------------- /test/tests/vv.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/vv.out -------------------------------------------------------------------------------- /test/tests/xx.in: -------------------------------------------------------------------------------- 1 | 1 xx 1 2 | -------------------------------------------------------------------------------- /test/tests/xx.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/xx.out -------------------------------------------------------------------------------- /test/tests/zero1.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 1 2 | 2 zero 1 3 | -------------------------------------------------------------------------------- /test/tests/zero1.out: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 1 2 | 2 zero 1 3 | -------------------------------------------------------------------------------- /test/tests/zero32.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 2 zero 1 3 | -------------------------------------------------------------------------------- /test/tests/zero32.out: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 32 2 | 2 zero 1 3 | -------------------------------------------------------------------------------- /test/tests/zeroid.in: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /test/tests/zeroid.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/zeroid.out -------------------------------------------------------------------------------- /test/tests/zerolen.in: -------------------------------------------------------------------------------- 1 | 1 sort bitvec 0 2 | -------------------------------------------------------------------------------- /test/tests/zerolen.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/zerolen.out -------------------------------------------------------------------------------- /test/tests/zerowitharg.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/zerowitharg.in -------------------------------------------------------------------------------- /test/tests/zerowitharg.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/zerowitharg.out -------------------------------------------------------------------------------- /test/tests/zz.in: -------------------------------------------------------------------------------- 1 | 1 zz 1 2 | -------------------------------------------------------------------------------- /test/tests/zz.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/hwmcc/btor2tools/HEAD/test/tests/zz.out --------------------------------------------------------------------------------