speedup test to avoid timeouts
MODIFY
smt/exprs.h
smt/exprs.h
@@ -41,7 +41,7 @@ public:
ret = ret ? T::mkIf(domain, val, *ret) : val;
}
- return ret ? *ret : default_val.value();
+ return ret ? *ret : *default_val;
}
};

MODIFY
tests/unit/fshr/folds32.opt
tests/unit/fshr/folds32.opt
+; TEST-ARGS: -root-only
+
Name: single shift by masked value
%c_mod_width = urem i4 %c, i4 4
%t = lshr i4 %b, i4 %c_mod_width

speedup test to avoid timeouts