GitHub

data_structures_set_multi_proc_ground-1.i

void reach_error() { ((void) sizeof ((0) ? 1 : 0), __extension__ ({ if (0) ; else __assert_fail ("0", "data_structures_set_multi_proc_ground-1.c", 3, __extension__ ...
GitHub

sv-benchmarks /c /array-examples

the BOOSTER software verifier (http://verify.inf.usi.ch/booster) and the SAFARI model-checker (http://verify.inf.usi.ch/safari). relax_true-unreach-call.c was built ...