mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
parent
4045563223
commit
11d5b508be
|
@ -844,8 +844,6 @@ namespace smt {
|
|||
return false;
|
||||
} else if (u.re.is_intersection(re)) {
|
||||
return false;
|
||||
} else if (u.re.is_complement(re)) {
|
||||
return false;
|
||||
} else if (u.re.is_loop(re, sub1, lo, hi) || u.re.is_loop(re, sub1, lo)) {
|
||||
return check_regex_length_linearity_helper(sub1, already_star);
|
||||
} else {
|
||||
|
|
Loading…
Reference in a new issue