fn validated_hard_arith_fallback_model(
cx: &SymCx,
normalized_constraints: &[SymBoolExpr],
original_constraints: &[SymBoolExpr],
) -> Option<HashMap<Symbol, U256>>Expand description
Returns a hard-arithmetic fallback model only after validating it against original constraints.