rems-project / cn-tutorial

7 stars 8 forks source link

Add should fail example from Cerberus repo here #65

Closed dc-mak closed 1 month ago

dc-mak commented 1 month ago

The test script in the Cerberus repo doesn't really have a good category for "this is broken, but it should not be". Consequently, placing these tests here makes more sense.

dc-mak commented 1 month ago

These are the examples relevant to re-enabling let weak checking.