utwente-fmt / vercors

The VerCors verification toolset for verifying parallel and concurrent software

https://utwente.nl/vercors

Mozilla Public License 2.0

51 stars 24 forks source link

Closed pieter-bos closed 1 month ago

pieter-bos commented 2 months ago

Checklist:

[ ] The wiki is updated in accordance with the changes in this PR. For example: syntax changes, semantics changes, VerCors flags changes, etc.

PR description

Support for run-time assertion generation

pieter-bos commented 1 month ago

Subsumed by #1202