Searched refs:expect_counter_example (Results 1 – 4 of 4) sorted by relevance
261 bool expect_counter_example = false; in checked_main() local402 expect_counter_example = true; in checked_main()420 expect_counter_example = false; in checked_main()807 && (!echeck_inst || !expect_counter_example)) in checked_main()1483 if (expect_counter_example != !!res && in checked_main()1484 (!expect_counter_example || ec->safe())) in checked_main()1490 if (!ec->safe() && expect_counter_example) in checked_main()
689 expect_counter_example with respect to the -e/-E options.