search

rems-project / cn-tutorial

8 stars 8 forks source link

Re-add removed broken-crash test as broken-proof #89

Closed dc-mak closed 1 month ago

dc-mak commented 1 month ago

https://github.com/rems-project/cerberus/pull/602 changed the behaviour of this test