Reloading should interrupt running provers
When reloading a file in the IDE (C-r
), currently running provers continue in the background.
After reloading is finished, the prover result does not seem to be used and the time of
the VC is displayed as (undone)
.
Currently running provers should be killed when reloading.