Commit f4ea453f authored by Andres Toom's avatar Andres Toom Committed by Daniel Tuulik
Browse files

Update test statuses. All pass the parsing test now

parent 2b2269b8
Parsing model: ./test10/challenge.pr (255 lines) [FAIL]
Parsing model: ./test10/challenge.pr (255 lines) [OK]
Parsing model: ./test10/system_structure.pr (32 lines) [OK]
Parsing model: ./test11/og.pr (144 lines) [OK]
Parsing model: ./test11/system_structure.pr (29 lines) [OK]
Parsing model: ./test12/system_structure.pr (33 lines) [OK]
Parsing model: ./test12/trafficlight.pr (260 lines) [FAIL]
Parsing model: ./test12/trafficlight.pr (260 lines) [OK]
Parsing model: ./test1/og.pr (204 lines) [OK]
Parsing model: ./test1/system_structure.pr (28 lines) [OK]
Parsing model: ./test2/orchestrator.pr (121 lines) [OK]
......@@ -22,14 +22,14 @@ Parsing model: ./test8/orchestrator.pr (63 lines) [OK]
Parsing model: ./test8/system_structure.pr (47 lines) [OK]
Parsing model: ./test9/challenge.pr (59 lines) [OK]
Parsing model: ./test9/system_structure.pr (28 lines) [OK]
Parsing model: ./test-aggregation1/challenge.pr (252 lines) [FAIL]
Parsing model: ./test-aggregation1/challenge.pr (252 lines) [OK]
Parsing model: ./test-aggregation1/system_structure.pr (32 lines) [OK]
Parsing model: ./test-aggregation2/og.pr (145 lines) [FAIL]
Parsing model: ./test-aggregation2/og.pr (145 lines) [OK]
Parsing model: ./test-aggregation3/challenge.pr (48 lines) [OK]
Parsing model: ./test-aggregation3/system_structure.pr (32 lines) [OK]
Parsing model: ./test-asn1constants/orchestrator.pr (33 lines) [OK]
Parsing model: ./test-asn1constants/system_structure.pr (27 lines) [OK]
Parsing model: ./test-battery/og.pr (89 lines) [FAIL]
Parsing model: ./test-battery/og.pr (72 lines) [OK]
Parsing model: ./test-branchcoverage2/myfunction.pr (125 lines) [OK]
Parsing model: ./test-branchcoverage2/system_structure.pr (27 lines) [OK]
Parsing model: ./test-branchcoverage/myfunction.pr (138 lines) [OK]
......
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-aggregation1/challenge.pr
[ERROR] Failed to parse model.
org.antlr.v4.runtime.misc.ParseCancellationException: line 5:8 mismatched input 'in' expecting ENDSUBSTRUCTURE
org.antlr.v4.runtime.misc.ParseCancellationException: line 5:8 mismatched input 'in' expecting ENDSUBSTRUCTURE
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportInputMismatch(DefaultErrorStrategy.java:299)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:124)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state_graph(SDLParser.java:4124)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state(SDLParser.java:4025)
at ee.ibk.sdl.parser.grammar.SDLParser.process_definition(SDLParser.java:1381)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:316)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:43)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:86)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:149)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:58)
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-aggregation2/og.pr
[ERROR] Failed to parse model.
org.antlr.v4.runtime.misc.ParseCancellationException: line 32:24 mismatched input 'in' expecting ENDSUBSTRUCTURE
org.antlr.v4.runtime.misc.ParseCancellationException: line 32:24 mismatched input 'in' expecting ENDSUBSTRUCTURE
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportInputMismatch(DefaultErrorStrategy.java:299)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:124)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state_graph(SDLParser.java:4124)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state(SDLParser.java:4025)
at ee.ibk.sdl.parser.grammar.SDLParser.state_partitioning(SDLParser.java:4459)
at ee.ibk.sdl.parser.grammar.SDLParser.state_aggregation_body(SDLParser.java:4384)
at ee.ibk.sdl.parser.grammar.SDLParser.state_aggregation(SDLParser.java:4237)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state(SDLParser.java:4032)
at ee.ibk.sdl.parser.grammar.SDLParser.process_definition(SDLParser.java:1381)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_block(SDLParser.java:1063)
at ee.ibk.sdl.parser.grammar.SDLParser.block_definition(SDLParser.java:965)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_system(SDLParser.java:649)
at ee.ibk.sdl.parser.grammar.SDLParser.system_definition(SDLParser.java:398)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:310)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:43)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:86)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:149)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:58)
[INFO] Parsing completed. Nothing more to do.
[INFO] Tool is executed in parse-only mode. Output file will not be created.
[INFO] Starting to parse model test-battery/og.pr
[ERROR] Failed to parse model.
org.antlr.v4.runtime.misc.ParseCancellationException: line 29:16 mismatched input 'out' expecting ENDSUBSTRUCTURE
org.antlr.v4.runtime.misc.ParseCancellationException: line 29:16 mismatched input 'out' expecting ENDSUBSTRUCTURE
at ee.ibk.sdl.parser.ThrowingErrorListener.syntaxError(ThrowingErrorListener.java:18)
at org.antlr.v4.runtime.ProxyErrorListener.syntaxError(ProxyErrorListener.java:41)
at org.antlr.v4.runtime.Parser.notifyErrorListeners(Parser.java:544)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportInputMismatch(DefaultErrorStrategy.java:299)
at org.antlr.v4.runtime.DefaultErrorStrategy.reportError(DefaultErrorStrategy.java:124)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state_graph(SDLParser.java:4124)
at ee.ibk.sdl.parser.grammar.SDLParser.composite_state(SDLParser.java:4025)
at ee.ibk.sdl.parser.grammar.SDLParser.process_definition(SDLParser.java:1381)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_block(SDLParser.java:1063)
at ee.ibk.sdl.parser.grammar.SDLParser.block_definition(SDLParser.java:965)
at ee.ibk.sdl.parser.grammar.SDLParser.entity_in_system(SDLParser.java:649)
at ee.ibk.sdl.parser.grammar.SDLParser.system_definition(SDLParser.java:398)
at ee.ibk.sdl.parser.grammar.SDLParser.pr_file(SDLParser.java:310)
at ee.ibk.sdl.parser.SDLParserMain.doParse(SDLParserMain.java:43)
at ee.ibk.sdl.parser.SDLParserMain.parseFile(SDLParserMain.java:86)
at ee.ibk.sdl.parser.SDLParserMain.main(SDLParserMain.java:149)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader.main(JarRsrcLoader.java:58)
[INFO] Parsing completed. Nothing more to do.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment