Closed MattWindsor91 closed 2 years ago
We should allow people to specify core assertions such as 'is nondeterministic', 'is deadlock free' etc. in this language. I would expect these to be top-level assertions, and them to presumably just call into the existing generation code for now.
We should allow people to specify core assertions such as 'is nondeterministic', 'is deadlock free' etc. in this language. I would expect these to be top-level assertions, and them to presumably just call into the existing generation code for now.