./pea_to_boogie.sh /storage/repos/re2019-exp/all.old.req /storage/repos/re2019-exp/all.old.req.xml -------------------------------------------------------------------------------- srParse: not declared ID: V3 srParse: not declared ID: V1 ∧ V2 srParse: not declared ID: !V0 srParse: not declared ID: V0 srParse: not declared ID: V3 srParse: not declared ID: V1 ∧ !V2 srParse: not declared ID: !V0 srParse: not declared ID: V0 srParse: not declared ID: V4 srParse: not declared ID: V0 srParse: not declared ID: !V0 srParse: not declared ID: V5 srParse: not declared ID: V0 srParse: not declared ID: !V0 srParse: not declared ID: V2 srParse: not declared ID: V0 srParse: not declared ID: V1 srParse: not declared ID: V6 srParse: not declared ID: V1 srParse: not declared ID: !V1 srParse: not declared ID: V7 srParse: not declared ID: V1 srParse: not declared ID: !V1 srParse: not declared ID: !V0 ∧ !V1 ∧ !V2 ∧ !V3 ∧ !V8 srParse: not declared ID: !V0 ∧ !V1 ∧ !V2 ∧ !V3 ∧ !V8 srParse: not declared ID: !V0 srParse: not declared ID: !V0 ∧ !V1 ∧ !V2 ∧ !V3 ∧ !V8 srParse: not declared ID: !V0 ∧ !V1 ∧ !V2 ∧ !V3 ∧ !V8 srParse: not declared ID: !V2 ∧ !V3 srParse: not declared ID: V6 srParse: not declared ID: V9 srParse: not declared ID: V1 ∧ V4 srParse: not declared ID: V6 srParse: not declared ID: V3 srParse: not declared ID: V3 srParse: not declared ID: !V0 ∧ !V6 srParse: not declared ID: V3 srParse: not declared ID: V3 srParse: not declared ID: !V2 srParse: not declared ID: !V11 srParse: not declared ID: !V8 srParse: not declared ID: V3 srParse: not declared ID: V10 srParse: not declared ID: V11 srParse: not declared ID: !V8 srParse: not declared ID: V3 srParse: not declared ID: V10 srParse: not declared ID: V10 srParse: not declared ID: !V11 srParse: not declared ID: V3 srParse: not declared ID: V10 srParse: not declared ID: V8 srParse: not declared ID: V3 srParse: not declared ID: !V8 srParse: not declared ID: V8 srParse: not declared ID: !V1 srParse: not declared ID: V8 srParse: not declared ID: V8 srParse: not declared ID: !V8 srParse: not declared ID: V8 srParse: not declared ID: V8 srParse: not declared ID: V8 srParse: not declared ID: V4 srParse: not declared ID: !V10 srParse: not declared ID: V8 srParse: not declared ID: V11 srParse: not declared ID: V4 srParse: not declared ID: V8 srParse: not declared ID: V11 srParse: not declared ID: V11 srParse: not declared ID: V11 srParse: not declared ID: !V1 srParse: not declared ID: V11 srParse: not declared ID: V11 srParse: not declared ID: !V2 ∧ !V3 srParse: not declared ID: V12 srParse: not declared ID: V8 srParse: not declared ID: V7 srParse: not declared ID: V13 srParse: not declared ID: V4 ∨ V8 srParse: not declared ID: V7 srParse: not declared ID: V14 srParse: not declared ID: V4 ∨ V8 srParse: not declared ID: V7 srParse: not declared ID: !V16 ∧ V17 srParse: not declared ID: V10 ∧ V15 ∧ V6 srParse: not declared ID: V7 srParse: not declared ID: !V16 ∧ V17 srParse: not declared ID: V11 ∧ V15 ∧ V6 srParse: not declared ID: V7 srParse: not declared ID: V1 srParse: not declared ID: V4 srParse: not declared ID: V7 srParse: not declared ID: V18 srParse: not declared ID: V10 ∧ V6 srParse: not declared ID: V7 srParse: not declared ID: V18 srParse: not declared ID: V11 ∧ V6 srParse: not declared ID: V7 srParse: not declared ID: V17 ∨ V19 srParse: not declared ID: V10 ∧ !V6 ∧ V7 srParse: not declared ID: V7 srParse: not declared ID: V17 ∨ V19 srParse: not declared ID: V10 ∧ !V15 ∧ V7 srParse: not declared ID: V7 srParse: not declared ID: V17 ∨ V19 srParse: not declared ID: V11 ∧ !V6 ∧ V7 srParse: not declared ID: V7 srParse: not declared ID: V17 ∨ V19 srParse: not declared ID: V11 ∧ !V15 ∧ V7 srParse: not declared ID: V7 srParse: not declared ID: !V16 srParse: not declared ID: !V20 ∧ V21 ∧ V8 srParse: not declared ID: V7 srParse: not declared ID: !V16 srParse: not declared ID: !V20 ∧ V21 ∧ V4 srParse: not declared ID: V7 srParse: not declared ID: V18 srParse: not declared ID: V10 ∧ V15 srParse: not declared ID: V7 srParse: not declared ID: V18 srParse: not declared ID: V11 ∧ V15 srParse: not declared ID: V7 srParse: not declared ID: !V4 srParse: not declared ID: V22 srParse: not declared ID: V22 srParse: not declared ID: !V22 srParse: not declared ID: !V23 ∨ !V0 srParse: not declared ID: V20 srParse: not declared ID: V20 srParse: not declared ID: !V20 srParse: not declared ID: !V5 srParse: not declared ID: V16 srParse: not declared ID: V16 srParse: not declared ID: !V16 srParse: not declared ID: !V23 srParse: not declared ID: V13 srParse: not declared ID: V13 srParse: not declared ID: !V13 srParse: not declared ID: !V24 srParse: not declared ID: V14 srParse: not declared ID: V14 srParse: not declared ID: !V14 srParse: not declared ID: !V9 srParse: not declared ID: V21 srParse: not declared ID: V21 srParse: not declared ID: !V21 srParse: not declared ID: V25 srParse: not declared ID: V19 srParse: not declared ID: !V19 srParse: not declared ID: V17 srParse: not declared ID: V25 srParse: not declared ID: !V25 srParse: not declared ID: V26 srParse: not declared ID: V25 srParse: not declared ID: !V25 srParse: not declared ID: !V19 srParse: not declared ID: V27 srParse: not declared ID: V27 srParse: not declared ID: !V27 srParse: not declared ID: !V9 srParse: not declared ID: V28 srParse: not declared ID: V28 srParse: not declared ID: !V28 srParse: not declared ID: V30 srParse: not declared ID: V29 srParse: not declared ID: V29 srParse: not declared ID: !V29 srParse: not declared ID: V31 srParse: not declared ID: V29 srParse: not declared ID: !V29 srParse: not declared ID: !V32 srParse: not declared ID: V18 ∧ V29 srParse: not declared ID: !V29 srParse: not declared ID: V0 srParse: not declared ID: V0 srParse: not declared ID: V1 srParse: not declared ID: V11 srParse: not declared ID: !V4 srParse: not declared ID: V8 srParse: not declared ID: V11 srParse: not declared ID: V0 srParse: not declared ID: V0 srParse: not declared ID: V0 srParse: not declared ID: !V2 srParse: not declared ID: V2 srParse: not declared ID: V3 srParse: not declared ID: !V3 srParse: not declared ID: V3 srParse: not declared ID: V8 srParse: not declared ID: V8 srParse: not declared ID: V11 log4j:ERROR Could not read configuration file from URL [null]. java.lang.NullPointerException at org.apache.log4j.PropertyConfigurator.doConfigure(PropertyConfigurator.java:459) at org.apache.log4j.PropertyConfigurator.configure(PropertyConfigurator.java:354) at pea.Trace2PEACompiler.(Trace2PEACompiler.java:101) at pea.Trace2PEACompiler.(Trace2PEACompiler.java:115) at pea.reqCheck.PatternToPEA.(PatternToPEA.java:21) at req_to_pea.ReqToPEA.genPEA(ReqToPEA.java:60) at pea_to_boogie.main.Main.main(Main.java:47) log4j:ERROR Ignoring configuration file [null]. log4j:ERROR Could not read configuration file from URL [null]. java.lang.NullPointerException at org.apache.log4j.PropertyConfigurator.doConfigure(PropertyConfigurator.java:459) at org.apache.log4j.PropertyConfigurator.configure(PropertyConfigurator.java:354) at pea.Trace2PEACompiler.(Trace2PEACompiler.java:101) at pea.Trace2PEACompiler.(Trace2PEACompiler.java:115) at pea.reqCheck.PatternToPEA.(PatternToPEA.java:21) at req_to_pea.ReqToPEA.genPEAforUPPAAL(ReqToPEA.java:97) at pea_to_boogie.main.Main.main(Main.java:48) log4j:ERROR Ignoring configuration file [null].