search

gleiss / rapid

Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.
3 stars 6 forks source link

Implement copy(label) for Formula #16

Closed gleiss closed 4 years ago

gleiss commented 5 years ago

Should return a copy of the formula, with label as label.