mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
Merge pull request #4319 from mtrberzi/disable-get-grounded-concats
Z3str3: disable compute_contains() and get_grounded_concats() checks
This commit is contained in:
commit
ba40b36176
|
@ -7728,9 +7728,11 @@ namespace smt {
|
|||
var_eq_concat_map, var_eq_unroll_map,
|
||||
concat_eq_constStr_map, concat_eq_concat_map, unrollGroupMap););
|
||||
|
||||
/*
|
||||
if (!contain_pair_bool_map.empty()) {
|
||||
compute_contains(aliasIndexMap, concats_eq_index_map, var_eq_constStr_map, concat_eq_constStr_map, var_eq_concat_map);
|
||||
}
|
||||
*/
|
||||
|
||||
// step 4: dependence analysis
|
||||
|
||||
|
|
Loading…
Reference in a new issue