Skip to content

Finally remove sbv-transformation

Bennet Bleßmann requested to merge remove-sbv into master

sbv-transformation is long out dated and doesn't even compile anymore and as the switch to z3 has been completed. This pull request removes the remainder of sbv (except comments still referencing it)

Edited by Kai Prott

Merge request reports