NullPointerException of Interpreter when proof was closed
In case a script results in a succeeded proof the method publishState() in the class PuppetMaster accesses the current Interpreter which is null in that case.
Edited by sarah.grebing
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
In case a script results in a succeeded proof the method publishState() in the class PuppetMaster accesses the current Interpreter which is null in that case.