I am getting the error
EOF: exit (status 4) while creeping through the evaluation of a goal at a spy point. Any thoughts why would this happen?
The workflow is:
- Load file.
goalthat eventually calls
- Then when evaluation reaches
target_predicate, I am able to creep through a few lines before the above error is thrown, a pop-up window is shown with the same error message, and the console is closed.
The evaluation of
goal without using
spy/1 finishes without showing the error message.
spy/1 with creeping numerous times in my debugging before, and I never witnessed this error message.