search

c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
14 stars 1 forks source link

Implement postcondition evaluation against state sets #125

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 5 years ago

This is needed for postcondition-based checking, which is (I think) the expected form of checking in the current critical path.

MattWindsor91 commented 4 years ago

Closed, as we actually just rely on litmus doing this for us.