You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Actually, undef value can easily be created in C by allocating a variable without assigning any value to it. This is a better candidate for the default behavior than crashing.
We need this for scalar as well as aggregate type of undef value.
It would be nice to have a choice:
__VERIFIER_nondet_*
(depending on type).The text was updated successfully, but these errors were encountered: