GuardAssertion subclasses should specify the type of guarded node

team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)

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

5 stars 3 forks source link

Closed leonhandreke closed 12 years ago

leonhandreke commented 12 years ago

For example, DivisorNotZeroAssertion should have an Expression as its guardedNode.