vbpf / prevail / 18707463436

push

github

Replace assertion warnings with exception-based errors (#930)

* The assume_assertions option and the ebpf_domain_assume function are completely removed.
* The concept of "warnings" is renamed to "errors" across the codebase.
* EbpfChecker now throws this exception immediately upon an assertion failure.
* The forward analyzer now catches VerificationError (via ebpf_domain_check), stores the error in the node's invariant, and stops processing that path.
---------

Signed-off-by: Elazar Gershuni <elazarg@gmail.com>

126 of 140 new or added lines in 9 files covered. (90.0%)

8997 of 10304 relevant lines covered (87.32%)

10799171.02 hits per line