Normalize ADT in `assume`

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

130 stars 33 forks source link

Closed Halbaroth closed 3 months ago

Halbaroth commented 4 months ago

Fix issue #1096

Halbaroth commented 3 months ago

I run a benchmark to be sure.