search

xr0-org / xr0

The Xr0 Verifier for C
https://xr0.dev
Apache License 2.0
173 stars 4 forks source link

Fix test runner #40

Closed claude-betz closed 3 months ago

claude-betz commented 5 months ago

Currently they test runner can give false positives when we hit asserts for some of the test cases