tests/model/int · dolmen · Tangled

forked from gbury/dolmen

dolmen tests model int

26 files

Guillaume Bury · Add an error for models of incremental problems · 3y ago

Model add Int, Real, Bitvector (#96)

Model add Int, Real, Bitvector (#96)

Model add Int, Real, Bitvector (#96)

bad_div_zero.expected

Add an error for models of incremental problems

bad_div_zero.rsmt2

Add an error for models of incremental problems

bad_div_zero.smt2

Add an error for models of incremental problems

div_zero_2.expected

div_zero_2.rsmt2

Support division by zero in models (when specified by the model)

div_zero_2.smt2

Support division by zero in models (when specified by the model)

div_zero_3.expected

Model fixes (#151)

div_zero_3.rsmt2

Model fixes (#151)

div_zero_3.smt2

Model fixes (#151)

div_zero_out_of_order.expected

Implement best mode for model verification (#154)

div_zero_out_of_order.rsmt2

Implement best mode for model verification (#154)

div_zero_out_of_order.smt2

Implement best mode for model verification (#154)

div_zero.expected

Support division by zero in models (when specified by the model)

Support division by zero in models (when specified by the model)

Model add Int, Real, Bitvector (#96)

Model add Int, Real, Bitvector (#96)

Model add Int, Real, Bitvector (#96)

Add an error for models of incremental problems

Model add Int, Real, Bitvector (#96)

out_of_order2.expected

Implement best mode for model verification (#154)

out_of_order2.rsmt2

Implement best mode for model verification (#154)

out_of_order2.smt2

Implement best mode for model verification (#154)