rems-project / cn-tutorial

8 stars 8 forks source link

Temporarily remove crashing pointer dec tests #72

Closed dc-mak closed 2 months ago

dc-mak commented 2 months ago

This is for https://github.com/rems-project/cerberus/pull/485