-
MARCHE Claude authored
make bench should not - build why3extract (not ready yet) - test the API of programs (is changed, tests has to be updated first) - test extraction (not ready yet)
fbedf74b
make bench should not - build why3extract (not ready yet) - test the API of programs (is changed, tests has to be updated first) - test extraction (not ready yet)