[NSeq] fix types of builtins
Showing
- colibri2/tests/solve/smt_array/errors/ite_2.txt 0 additions, 13 deletionscolibri2/tests/solve/smt_array/errors/ite_2.txt
- colibri2/tests/solve/smt_array/errors/notes.txt 1 addition, 2 deletionscolibri2/tests/solve/smt_array/errors/notes.txt
- colibri2/tests/solve/smt_array/sat/dune.inc 3 additions, 0 deletionscolibri2/tests/solve/smt_array/sat/dune.inc
- colibri2/tests/solve/smt_array/sat/imp1.smt2 0 additions, 6 deletionscolibri2/tests/solve/smt_array/sat/imp1.smt2
- colibri2/theories/array/common.ml 3 additions, 2 deletionscolibri2/theories/array/common.ml
- colibri2/theories/nseq/nseq.ml 19 additions, 19 deletionscolibri2/theories/nseq/nseq.ml
Loading
Please register or sign in to comment