You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
The key has expired.
Remove labels and unused VC generation code (#201)
* first checkin
* removed labels entirely
* removed references to Doomed
disabled doomed tests
* updated golden outputs
* disabled these tests
* updated golden outputs
* Do not parse prover options just for printing help
* calculate path only if a model exists
* check if there are prover warnings before processing model
* Revert "updated golden outputs"
This reverts commit b9e3aba64925dfb1a94770ae775b81e6b23fa6b8.
* Revert "updated golden outputs"
This reverts commit 35c39dd950591f9dc18b1c0e333dc248ca78a066.
* fixed a few golden outputs (all except the ones that use MUlTI_TRACES)
* eliminated MULTI_TRACES which was done using labels and updated golden outputs
* removed /vc: option
* remove doomed code and tests
* removed doomed related command line options
Co-authored-by: Bernhard Kragl <bernhard.kragl@gmail.com>
