search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

Dargent QuickCheck tests failing on dargent branch #305

Closed zilinc closed 4 years ago