search

au-ts / cogent

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

Conditional tests support #375

Open zilinc opened 4 years ago

zilinc commented 4 years ago

It'd be good to have a way in the new testing framework to turn on/off certain tests depending on the flags used in building the compiler.