Unfortunately not all tests are successful currently so this would probably make it impossible to merge anything.
The tests that are failing are
the parsing tests for readSExpr (I only fixed parseSExpr as we haven't really decided what to do with readSExpr yet)
somehow the first time I run the test-suite (and only the first time), the very last test that runs the z3error program in lazy mode with the Process backend fails with Exception: waitForProcess: does not exist (No child processes)
I was expecting this PR :laughing:
Unfortunately not all tests are successful currently so this would probably make it impossible to merge anything. The tests that are failing are
readSExpr(I only fixedparseSExpras we haven't really decided what to do withreadSExpryet)z3errorprogram in lazy mode with theProcessbackend fails withException: waitForProcess: does not exist (No child processes)