Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
123456789File "tests/typing/errors/arith_linear/test.smt2", line 4, character 13-20:4 | (assert (= 0 (* a b))) ^^^^^^^Error Forbidden expression in linear arithmeticHint: multiplication in strict linear arithmetic expects an integer or rational literal and a symbol (variable or constant) but was given: - a symbol (or quantified variable) - a symbol (or quantified variable)