search

xr0-org / xr0

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

Verify new conditional allocation test #24

Closed akiarie closed 7 months ago

akiarie commented 7 months ago

This is the test.

See the update here for more information.