Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
123456File "tests/typing/errors/reserved/dot.smt2", line 2, character 0-28:2 | (declare-fun |.bar| () Bool) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^Error Reserved: `.bar` is reserved to be used by solvers for solver-generated function symbols other than abstract values.