Use ignore-*-functions
from configuration
#312
Labels
stale
Review - close as 'wontfix' or integrate into other ticket
ignore-*-functions
from configuration
#312
Support for ignoring functions has not been ported to the strongest-postcondition verifier. We would expect an ignored function to be treated like a no-op and simply propagate the equivalence domain forward.
The text was updated successfully, but these errors were encountered: