Searched refs:DegenSBA (Results 1 – 2 of 2) sorted by relevance
246 enum { NoDegen, DegenTBA, DegenSBA } degeneralize_opt = NoDegen; in checked_main() enumerator360 argv[formula_index][2] == 'S' ? DegenSBA : DegenTBA; in checked_main()495 degeneralize_opt = DegenSBA; in checked_main()501 degeneralize_opt = DegenSBA; in checked_main()1061 else if (degeneralize_opt == DegenSBA) in checked_main()1200 == DegenSBA, opt_with_artificial_initial_state, in checked_main()1289 else if (degeneralize_opt == DegenSBA) in checked_main()1338 assert(degeneralize_opt == DegenSBA); in checked_main()