-
Andrei Paskevich authored
still problematic: tests-provers/div tests-provers/div_real check-builtin/int bts/fsetint logic/bitvectors logic/einstein logic/genealogy bitvectors/power2 bellman_ford knuth_prime_numbers vstte12_combinators hoare_logic/blocking_semantics5 known issues: - Timeout is not always recognized - why3 tactic does not work: ENOENT on connect() - temporary output files are created in the curdir - temporary output files are sometimes not erased - socket file is created in the curdir
0f9ded38