Opened 16 years ago
Last modified 16 years ago
#133 closed defect
null pointer exception in model builder — at Initial Version
| Reported by: | Stephen Siegel | Owned by: | ywei |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | front | Version: | 1.0 |
| Keywords: | Cc: |
Description
+----------------------------------------------------------------------+
| TASS: Toolkit for Accurate Scientific Software |
| version 1.0.r1240 (2009-12-20) http://vsl.cis.udel.edu/tass |
+----------------------------------------------------------------------+
model : diffusion1_par (numProcs = 2)
sourceFile : examples/diffusion/diffusion1_par.mmp
mode : VERIFY
prover : CVC3
deadlock : ABSOLUTE
reduction : URGENT
simplify : true
verbose : false
loop method : false
repository : ./TASSREP
Exception in thread "main" java.lang.NullPointerException
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processVariableExpr(ModelBuilder.java:1233)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processExpression(ModelBuilder.java:1038)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processDimensions(ModelBuilder.java:402)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processGlobalVariables(ModelBuilder.java:337)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.processAST(ModelBuilder.java:276)
at edu.udel.cis.vsl.minimp.front.minimp.ModelBuilder.buildModel(ModelBuilder.java:271)
at edu.udel.cis.vsl.minimp.front.minimp.ModelExtractor.extract(ModelExtractor.java:30)
at edu.udel.cis.vsl.minimp.front.minimp.ModelExtractor.extractModel(ModelExtractor.java:54)
at edu.udel.cis.vsl.minimp.MiniMP.verify(MiniMP.java:408)
at edu.udel.cis.vsl.minimp.MiniMP.main(MiniMP.java:483)
