#15 identification of proof loops?

[Leo Freitas]

The recent errror report (bug Item #3436478) is somewhat related to non-terminating rewrite loops
due to circular rule applications. Upon cancellation I also got this error below.

I wonder if it's possible to timeout rewrite-like commands after, say 10 secs? or some maximum preference threshold?

Z/Eves server process has terminated.

!ENTRY org.eclipse.core.jobs 4 2 2011-11-11 09:50:12.888
!MESSAGE An internal error occurred during: "Sending to Z/Eves".
!STACK 0
java.lang.NullPointerException
at net.sourceforge.czt.eclipse.zeves.actions.EditorSubmitNextCommand.updateCaretOnNext(EditorSubmitNextCommand.java:53)
at net.sourceforge.czt.eclipse.zeves.actions.EditorSubmitNextCommand$1.completed(EditorSubmitNextCommand.java:36)
at net.sourceforge.czt.eclipse.zeves.core.AbstractExecCommand.execute(AbstractExecCommand.java:25)
at net.sourceforge.czt.eclipse.zeves.core.ZEvesLinearExecutor$1.run(ZEvesLinearExecutor.java:45)
at org.eclipse.core.internal.jobs.Worker.run(Worker.java:54)