vprover / vampire

The Vampire Theorem Prover
https://vprover.github.io/
Other
297 stars 52 forks source link

enable tracebacks for unit tests #528

Closed MichaelRawson closed 8 months ago

MichaelRawson commented 8 months ago

@mezpusz noticed that unit test tracebacks fail. I thought this was a CI problem, but it's actually just that they're broken because (i) we don't save what argv[0] is for unit tests, and then (ii) we still have PIE code for unit tests.

Fix these.