search

xr0-org / xr0

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

user-error asserts especially for parser omissions #51

Open akiarie opened 4 months ago

akiarie commented 4 months ago

we need a util function that asserts with a message.

the shallowest place where it should be applied should be to all the parsing productions that we do not currently support, instead of them quietly passing.