Skip to content
Snippets Groups Projects
Commit 45be506d authored by Markus Alexander Kuppe's avatar Markus Alexander Kuppe
Browse files

Location and name of tlaps/tlapm repository has changed.

[Documentation][Toolbox]
parent 97b29498
Branches
Tags
No related merge requests found
...@@ -497,13 +497,13 @@ public class ProverJob extends Job { ...@@ -497,13 +497,13 @@ public class ProverJob extends Job {
&& proverProcess.getExitValue() != 1) && proverProcess.getExitValue() != 1)
{ {
return new Status(IStatus.ERROR, ProverUIActivator.PLUGIN_ID, return new Status(IStatus.ERROR, ProverUIActivator.PLUGIN_ID,
"Error running tlapm. Report a bug with the error code to the developers at https://tlaplus.codeplex.com/workitem/list/basic." "Error running tlapm. Report a bug with the error code to the developers at https://github.com/tlaplus/tlapm/issues."
+ "\n \n Error code: " + proverProcess.getExitValue()); + "\n \n Error code: " + proverProcess.getExitValue());
} }
} catch (DebugException e) } catch (DebugException e)
{ {
return new Status(IStatus.ERROR, ProverUIActivator.PLUGIN_ID, return new Status(IStatus.ERROR, ProverUIActivator.PLUGIN_ID,
"Error getting exit code for tlapm process. This is a bug. Report it to the developers at https://tlaplus.codeplex.com/workitem/list/basic"); "Error getting exit code for tlapm process. This is a bug. Report it to the developers at https://github.com/tlaplus/tlapm/issues");
} }
// successful termination // successful termination
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment