rems-project / cn-tutorial

8 stars 8 forks source link

Fix IntListSeg predicate #78

Closed dc-mak closed 2 months ago

dc-mak commented 2 months ago

https://github.com/rems-project/cerberus/pull/494 made this tests fail, but it wasn't quite phrased correctly anyways. It may need further changes for more VIP features later, but this should suffice for now.