Exceção ao gerar o modelo PRISM

lesunb / CRGMToPRISM

In a nutshell, GODA (Goal-Oriented Dependability Analysis) is a framework for verification of goal models through probabilistic model checking, where contextual goal models are translated into PRISM and PARAM languages.

2 stars 6 forks source link

Exceção ao gerar o modelo PRISM #5

Closed Genaina closed 9 years ago

Genaina commented 9 years ago

java.lang.NullPointerException at java.util.TreeMap.getEntry(TreeMap.java:347) at java.util.TreeMap.containsKey(TreeMap.java:232) at br.unb.cic.rtgoretoprism.generator.rtgore.RTGoreProducer.addGoal(RTGoreProducer.java:225) at br.unb.cic.rtgoretoprism.generator.rtgore.RTGoreProducer.run(RTGoreProducer.java:159) at br.unb.cic.rtgoretoprism.action.PRISMCodeGenerationAction.run(PRISMCodeGenerationAction.java:93) at org.eclipse.ui.internal.PluginAction.runWithEvent(PluginAction.java:253)

danilomendonca commented 9 years ago

Please make sure to use the correct eclipse platform version.