Add essential regression tests to AGREE

loonwerks / AGREE

Assume-Guarantee REasoning Environment

BSD 3-Clause "New" or "Revised" License

13 stars 5 forks source link

Closed kfhoech closed 1 year ago

kfhoech commented 1 year ago

Add parsing and validation tests to AGREE. This should also help clean up many a few of the odd idioms of the language and validator.

kfhoech commented 1 year ago

Resolved by pull request #129.