Confusing behavior if no CPAchecker directory is selected
If no CPAchecker directory is selected in the configuration dialog, the progress bar will still be displayed and not disappear. At the same time, an exception is thrown:
com.intellij.execution.process.ProcessNotCreatedException: Cannot run program "/scripts/cpa.sh": error=2, No such file or directory
at com.intellij.execution.configurations.GeneralCommandLine.createProcess(GeneralCommandLine.java:412)
at org.sosy_lab.cpachecker.plugin.intellij.execution.linux_cmd.CmdLinuxExecution.runCommand(CmdLinuxExecution.java:172)
at org.sosy_lab.cpachecker.plugin.intellij.execution.linux_cmd.CmdLinuxExecution.access$000(CmdLinuxExecution.java:24)
at org.sosy_lab.cpachecker.plugin.intellij.execution.linux_cmd.CmdLinuxExecution$1$1.run(CmdLinuxExecution.java:73)
at com.intellij.openapi.application.TransactionGuardImpl$2.run(TransactionGuardImpl.java:312)
at com.intellij.openapi.application.impl.LaterInvocator$FlushQueue.doRun(LaterInvocator.java:433)
at com.intellij.openapi.application.impl.LaterInvocator$FlushQueue.runNextEvent(LaterInvocator.java:416)
at com.intellij.openapi.application.impl.LaterInvocator$FlushQueue.run(LaterInvocator.java:399)
at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:311)
[...]
Instead, the user should get a notification that CPAchecker is not configured correctly and that she should select a valid directory (that contains scripts/cpa.sh and cpachecker.jar).