search

xr0-org / xr0

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

Implement splitting solution for conditional tests #16

Closed claude-betz closed 6 months ago

claude-betz commented 7 months ago

The tests in view are those to be written in Issue 15