This repository has been archived by the owner on Mar 13, 2021. It is now read-only.

Use `precondition` and `postcondition` instead of `proclaim` #7

Closed

pnwamk opened this issue Feb 16, 2021 · 0 comments

Contributor

pnwamk commented Feb 16, 2021

Originally GaloisInc/saw-script#1032

pnwamk mentioned this issue

precondition/postcondition instead of proclaim in Python scripts GaloisInc/saw-script#1032

Closed

pnwamk closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.