Unable to run program verification examples
htfy96 opened this issue · comments
➜ sum_to_n git:(master) ✗ kprove test-spec.k junk.k --directory $(pwd)/../../semantics --smt_prelude /usr/lib/kframework/include/z3/basic.smt2
[NOTE] To make opam select /usr/lib/kframework/lib/opamroot as its root in the current shell, add --set-root or set OPAMROOT
[Error] Compiler: Had 2 parsing errors.
[Error] Inner Parser: Parse error: unexpected token ')'.
Source(/mnt/data/X86-64-semantics/program-veriifcation/sum_to_n/test-spec.k)
Location(152,32,152,33)
[Error] Inner Parser: Parse error: unexpected token ')'.
Source(/mnt/data/X86-64-semantics/program-veriifcation/sum_to_n/test-spec.k)
Location(54,32,54,33)
54: symloc ( 1 , 128 ) |->
152: symloc ( 1 , 128 ) |->