search

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
132 stars 33 forks source link

Remove uid module #1253

Closed Halbaroth closed 1 month ago

Halbaroth commented 1 month ago

This PR removes the interface Uid. We now use term_cst and ty_cst of Dolmen directly!

Halbaroth commented 1 month ago

Strangely, it seems that the test testfile-qfbv-timeout.unix.smt2 failed sometimes. I ran it again on next and it succeeds. I got an error code 2 on next and here it is 1!