janhaag/PSE2011 — Issue #21: no verification with arrays
Author: danielbruns
Created: 2012-02-24 14:16:53+00:00
State: open

as above, yields something like
java.lang.NullPointerException
at verifier.smtlib.SMTLibTranslator.getMangledArrayName(SMTLibTranslator.java:660)
at verifier.smtlib.SMTLibTranslator.visit(SMTLibTranslator.java:478)
at ast.ArrayRead.accept(ArrayRead.java:37)
at verifier.smtlib.SMTLibTranslator.visit(SMTLibTranslator.java:390)
at ast.LogicalExpression.accept(LogicalExpression.java:69)