mirror of
https://github.com/AdaCore/alt-ergo.git
synced 2026-02-12 12:39:26 -08:00
dc8087713d
* Activate FPA theory as default Activating FPA as default introduce a tiny time regression (about 1%) but we prove more goals on both `ae-format` and `why3-gallery`. Fix issue #917
3 lines
7 B
Plaintext
3 lines
7 B
Plaintext
|
|
unsat
|