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

Fix line counts in the test status file

Previous numbers were byte counts.
parent 2078f859
Parsing model: ./test10/challenge.pr (6394 lines) [FAIL]
Parsing model: ./test10/system_structure.pr (552 lines) [OK]
Parsing model: ./test11/og.pr (6096 lines) [OK]
Parsing model: ./test11/system_structure.pr (506 lines) [OK]
Parsing model: ./test12/system_structure.pr (857 lines) [OK]
Parsing model: ./test12/trafficlight.pr (11951 lines) [FAIL]
Parsing model: ./test1/og.pr (8574 lines) [OK]
Parsing model: ./test1/system_structure.pr (483 lines) [OK]
Parsing model: ./test2/orchestrator.pr (4522 lines) [OK]
Parsing model: ./test2/system_structure.pr (1314 lines) [OK]
Parsing model: ./test3/fce.pr (18420 lines) [OK]
Parsing model: ./test3/system_structure.pr (1438 lines) [OK]
Parsing model: ./test4/orchestrator.pr (5724 lines) [OK]
Parsing model: ./test4/system_structure.pr (699 lines) [OK]
Parsing model: ./test5/function0.pr (986 lines) [OK]
Parsing model: ./test5/system_structure.pr (707 lines) [OK]
Parsing model: ./test6/myfunction.pr (7829 lines) [OK]
Parsing model: ./test6/system_structure.pr (579 lines) [OK]
Parsing model: ./test7/orchestrator.pr (8803 lines) [OK]
Parsing model: ./test7/system_structure.pr (1124 lines) [OK]
Parsing model: ./test8/orchestrator.pr (1718 lines) [OK]
Parsing model: ./test8/system_structure.pr (1124 lines) [OK]
Parsing model: ./test9/challenge.pr (1915 lines) [OK]
Parsing model: ./test9/system_structure.pr (431 lines) [OK]
Parsing model: ./test-aggregation1/challenge.pr (9994 lines) [FAIL]
Parsing model: ./test-aggregation1/system_structure.pr (552 lines) [OK]
Parsing model: ./test-aggregation2/og.pr (6637 lines) [FAIL]
Parsing model: ./test-aggregation3/challenge.pr (1537 lines) [FAIL]
Parsing model: ./test-aggregation3/system_structure.pr (552 lines) [OK]
Parsing model: ./test-asn1constants/orchestrator.pr (1070 lines) [OK]
Parsing model: ./test-asn1constants/system_structure.pr (481 lines) [OK]
Parsing model: ./test-battery/og.pr (3726 lines) [FAIL]
Parsing model: ./test-branchcoverage2/myfunction.pr (4738 lines) [OK]
Parsing model: ./test-branchcoverage2/system_structure.pr (579 lines) [OK]
Parsing model: ./test-branchcoverage/myfunction.pr (4752 lines) [OK]
Parsing model: ./test-branchcoverage/system_structure.pr (579 lines) [OK]
Parsing model: ./test-choice/og.pr (1837 lines) [OK]
Parsing model: ./test-controlflow/controlflow.pr (5101 lines) [OK]
Parsing model: ./test-controlflow/system_structure.pr (555 lines) [OK]
Parsing model: ./test-debug/orchestrator.pr (6350 lines) [OK]
Parsing model: ./test-debug/system_structure.pr (461 lines) [OK]
Parsing model: ./test-eds1/testsc.pr (1122 lines) [OK]
Parsing model: ./test-eds2/demodevicedsap.pr (1676 lines) [OK]
Parsing model: ./test-emptysequence2/test.pr (1218 lines) [OK]
Parsing model: ./test-emptysequence/og.pr (1912 lines) [OK]
Parsing model: ./test-equal/og.pr (8684 lines) [OK]
Parsing model: ./test-equal/system_structure.pr (483 lines) [OK]
Parsing model: ./test-exitnested/challenge.pr (3203 lines) [OK]
Parsing model: ./test-exitnested/system_structure.pr (555 lines) [OK]
Parsing model: ./test-expressions/expressions.pr (10460 lines) [OK]
Parsing model: ./test-expressions/system_structure.pr (405 lines) [OK]
Parsing model: ./test-forloop/og.pr (1237 lines) [OK]
Parsing model: ./test-ibk2/framemanager.pr (24050 lines) [FAIL]
Parsing model: ./test-ibk2/system_structure.pr (775 lines) [OK]
Parsing model: ./test-ibk3/node.pr (99533 lines) [FAIL]
Parsing model: ./test-ibk3/system_structure.pr (1337 lines) [OK]
Parsing model: ./test-ibk/packetmanager.pr (4992 lines) [FAIL]
Parsing model: ./test-ibk/system_structure.pr (1079 lines) [OK]
Parsing model: ./test-instance/og.pr (8340 lines) [OK]
Parsing model: ./test-instance/system_structure.pr (480 lines) [OK]
Parsing model: ./test-iterators/orchestrator.pr (3589 lines) [OK]
Parsing model: ./test-llvm/orchestrator.pr (2255 lines) [OK]
Parsing model: ./test-llvm/system_structure.pr (445 lines) [OK]
Parsing model: ./test-math/expressions.pr (912 lines) [OK]
Parsing model: ./test-math/system_structure.pr (405 lines) [OK]
Parsing model: ./test-nestedpriority/challenge.pr (3623 lines) [OK]
Parsing model: ./test-nestedpriority/system_structure.pr (555 lines) [OK]
Parsing model: ./test-nocif2/DemoDeviceDSAP_fixed.pr (3212 lines) [OK]
Parsing model: ./test-nocif/orchestrator.pr (2961 lines) [OK]
Parsing model: ./test-nocif/system_structure.pr (461 lines) [OK]
Parsing model: ./test-noparam/og.pr (833 lines) [OK]
Parsing model: ./test-operators/operators.pr (2562 lines) [OK]
Parsing model: ./test-operators/system_structure.pr (395 lines) [OK]
Parsing model: ./test-optionalfield/og.pr (2517 lines) [OK]
Parsing model: ./test-procedure/og.pr (3262 lines) [OK]
Parsing model: ./test-processfpar1/og.pr (3153 lines) [OK]
Parsing model: ./test-processfpar2/og.pr (1551 lines) [OK]
Parsing model: ./test-provided1/og.pr (5580 lines) [FAIL]
Parsing model: ./test-provided2/og.pr (8631 lines) [FAIL]
Parsing model: ./test-provided3/og.pr (5077 lines) [FAIL]
Parsing model: ./test-pus/flight.pr (961 lines) [OK]
Parsing model: ./test-pus/system_structure.pr (584 lines) [OK]
Parsing model: ./test-recursion/og.pr (3926 lines) [OK]
Parsing model: ./test-save/og.pr (4349 lines) [OK]
Parsing model: ./test-sequenceof2/test.pr (1964 lines) [OK]
Parsing model: ./test-sequenceof/test.pr (1966 lines) [OK]
Parsing model: ./test-simu/orchestrator.pr (5166 lines) [FAIL]
Parsing model: ./test-simu/system_structure.pr (847 lines) [OK]
Parsing model: ./test-standalone/og.pr (3104 lines) [OK]
Parsing model: ./test-stateexclusion/test.pr (1959 lines) [OK]
Parsing model: ./test-strings/og.pr (2050 lines) [OK]
Parsing model: ./test-substrings/myfunction.pr (7209 lines) [OK]
Parsing model: ./test-substrings/system_structure.pr (579 lines) [OK]
Parsing model: ./test-ternary/og.pr (3340 lines) [OK]
Parsing model: ./test-typecheck/og.pr (1264 lines) [OK]
Parsing model: ./test-types/DataView.pr (1008 lines) [FAIL]
Parsing model: ./test-types/function1.pr (1317 lines) [OK]
Parsing model: ./test-types/system_structure.pr (374 lines) [OK]
Parsing model: ./test10/challenge.pr (255 lines) [FAIL]
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: ./test1/og.pr (204 lines) [OK]
Parsing model: ./test1/system_structure.pr (28 lines) [OK]
Parsing model: ./test2/orchestrator.pr (121 lines) [OK]
Parsing model: ./test2/system_structure.pr (57 lines) [OK]
Parsing model: ./test3/fce.pr (459 lines) [OK]
Parsing model: ./test3/system_structure.pr (68 lines) [OK]
Parsing model: ./test4/orchestrator.pr (235 lines) [OK]
Parsing model: ./test4/system_structure.pr (35 lines) [OK]
Parsing model: ./test5/function0.pr (41 lines) [OK]
Parsing model: ./test5/system_structure.pr (35 lines) [OK]
Parsing model: ./test6/myfunction.pr (200 lines) [OK]
Parsing model: ./test6/system_structure.pr (27 lines) [OK]
Parsing model: ./test7/orchestrator.pr (235 lines) [OK]
Parsing model: ./test7/system_structure.pr (47 lines) [OK]
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/system_structure.pr (32 lines) [OK]
Parsing model: ./test-aggregation2/og.pr (145 lines) [FAIL]
Parsing model: ./test-aggregation3/challenge.pr (48 lines) [FAIL]
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-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]
Parsing model: ./test-branchcoverage/system_structure.pr (27 lines) [OK]
Parsing model: ./test-choice/og.pr (58 lines) [OK]
Parsing model: ./test-controlflow/controlflow.pr (129 lines) [OK]
Parsing model: ./test-controlflow/system_structure.pr (32 lines) [OK]
Parsing model: ./test-debug/orchestrator.pr (182 lines) [OK]
Parsing model: ./test-debug/system_structure.pr (27 lines) [OK]
Parsing model: ./test-eds1/testsc.pr (37 lines) [OK]
Parsing model: ./test-eds2/demodevicedsap.pr (48 lines) [OK]
Parsing model: ./test-emptysequence2/test.pr (37 lines) [OK]
Parsing model: ./test-emptysequence/og.pr (58 lines) [OK]
Parsing model: ./test-equal/og.pr (149 lines) [OK]
Parsing model: ./test-equal/system_structure.pr (28 lines) [OK]
Parsing model: ./test-exitnested/challenge.pr (80 lines) [OK]
Parsing model: ./test-exitnested/system_structure.pr (32 lines) [OK]
Parsing model: ./test-expressions/expressions.pr (200 lines) [OK]
Parsing model: ./test-expressions/system_structure.pr (27 lines) [OK]
Parsing model: ./test-forloop/og.pr (48 lines) [OK]
Parsing model: ./test-ibk2/framemanager.pr (494 lines) [FAIL]
Parsing model: ./test-ibk2/system_structure.pr (33 lines) [OK]
Parsing model: ./test-ibk3/node.pr (1845 lines) [FAIL]
Parsing model: ./test-ibk3/system_structure.pr (48 lines) [OK]
Parsing model: ./test-ibk/packetmanager.pr (105 lines) [FAIL]
Parsing model: ./test-ibk/system_structure.pr (39 lines) [OK]
Parsing model: ./test-instance/og.pr (206 lines) [OK]
Parsing model: ./test-instance/system_structure.pr (28 lines) [OK]
Parsing model: ./test-iterators/orchestrator.pr (98 lines) [OK]
Parsing model: ./test-llvm/orchestrator.pr (59 lines) [OK]
Parsing model: ./test-llvm/system_structure.pr (27 lines) [OK]
Parsing model: ./test-math/expressions.pr (28 lines) [OK]
Parsing model: ./test-math/system_structure.pr (27 lines) [OK]
Parsing model: ./test-nestedpriority/challenge.pr (88 lines) [OK]
Parsing model: ./test-nestedpriority/system_structure.pr (32 lines) [OK]
Parsing model: ./test-nocif2/DemoDeviceDSAP_fixed.pr (129 lines) [OK]
Parsing model: ./test-nocif/orchestrator.pr (114 lines) [OK]
Parsing model: ./test-nocif/system_structure.pr (27 lines) [OK]
Parsing model: ./test-noparam/og.pr (29 lines) [OK]
Parsing model: ./test-operators/operators.pr (55 lines) [OK]
Parsing model: ./test-operators/system_structure.pr (27 lines) [OK]
Parsing model: ./test-optionalfield/og.pr (68 lines) [OK]
Parsing model: ./test-procedure/og.pr (96 lines) [OK]
Parsing model: ./test-processfpar1/og.pr (91 lines) [OK]
Parsing model: ./test-processfpar2/og.pr (53 lines) [OK]
Parsing model: ./test-provided1/og.pr (124 lines) [FAIL]
Parsing model: ./test-provided2/og.pr (182 lines) [FAIL]
Parsing model: ./test-provided3/og.pr (113 lines) [FAIL]
Parsing model: ./test-pus/flight.pr (26 lines) [OK]
Parsing model: ./test-pus/system_structure.pr (27 lines) [OK]
Parsing model: ./test-recursion/og.pr (103 lines) [OK]
Parsing model: ./test-save/og.pr (110 lines) [OK]
Parsing model: ./test-sequenceof2/test.pr (50 lines) [OK]
Parsing model: ./test-sequenceof/test.pr (63 lines) [OK]
Parsing model: ./test-simu/orchestrator.pr (135 lines) [FAIL]
Parsing model: ./test-simu/system_structure.pr (37 lines) [OK]
Parsing model: ./test-standalone/og.pr (89 lines) [OK]
Parsing model: ./test-stateexclusion/test.pr (62 lines) [OK]
Parsing model: ./test-strings/og.pr (59 lines) [OK]
Parsing model: ./test-substrings/myfunction.pr (203 lines) [OK]
Parsing model: ./test-substrings/system_structure.pr (27 lines) [OK]
Parsing model: ./test-ternary/og.pr (85 lines) [OK]
Parsing model: ./test-typecheck/og.pr (39 lines) [OK]
Parsing model: ./test-types/DataView.pr (63 lines) [FAIL]
Parsing model: ./test-types/function1.pr (42 lines) [OK]
Parsing model: ./test-types/system_structure.pr (22 lines) [OK]
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