Closed snowcool closed 7 years ago
Hi,
There is an issue with a null pointer exception when no output is specified. In order to avoid this, either use the -protobuf or -db option (see http://siis.cse.psu.edu/ic3/installation.html for how to use these options).
Best, Damien
Manifest Exception in thread "main" java.lang.NullPointerException at edu.psu.cse.siis.ic3.Ic3Analysis.processResults(Ic3Analysis.java:278) at edu.psu.cse.siis.ic3.Ic3Analysis.processResults(Ic3Analysis.java:65) at edu.psu.cse.siis.coal.Analysis.performAnalysis(Analysis.java:70) at edu.psu.cse.siis.ic3.Main.main(Main.java:14)