Skip to content
GitLab
Explore
Sign in
Register
student-projects
bamapro-2019-ss
Issues
#72
Checking preconditions
Currently preconditions are not checked at all, they are just used when verifying postconditions
Edited
Sep 23, 2019
by
Kai Prott