Closed Baltoli closed 7 years ago
The model checker should only check assertions on code paths that include the assertion site event.
The model checker should only check assertions on code paths that include the assertion site event.