-
Notifications
You must be signed in to change notification settings - Fork 25
/
STVSL.result
31 lines (31 loc) · 3.57 KB
/
STVSL.result
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.typechecker.tests.ModulesSlTypeCheckTest">
<message column="27" line="235" message="total_value at 348:1 hidden by total_value" messageType="warning" number="5008" resource="STVSL"/>
<message column="28" line="241" message="total_value at 348:1 hidden by total_value" messageType="warning" number="5008" resource="STVSL"/>
<message column="31" line="248" message="total_value at 348:1 hidden by total_value" messageType="warning" number="5008" resource="STVSL"/>
<message column="8" line="272" message="Definition 'e' not used" messageType="warning" number="5000" resource="STVSL"/>
<message column="31" line="302" message="Definition 'discontinuing' not used" messageType="warning" number="5000" resource="STVSL"/>
<message column="8" line="423" message="Definition 'e' not used" messageType="warning" number="5000" resource="STVSL"/>
<message column="16" line="473" message="Definition 's' not used" messageType="warning" number="5000" resource="STVSL"/>
<message column="35" line="539" message="i at 503:8 hidden by i" messageType="warning" number="5008" resource="STVSL"/>
<message column="1" line="150" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="3" line="431" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="3" line="431" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="3" line="431" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="3" line="431" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="3" line="268" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="3" line="268" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="3" line="268" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="1" line="106" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="3" line="419" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="3" line="419" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="3" line="419" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="3" line="280" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="3" line="280" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="1" line="414" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="1" line="370" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="1" line="290" message="Recursive function has no measure" messageType="warning" number="5012" resource="STVSL"/>
<message column="1" line="11" message="Definition 'Votes' not used" messageType="warning" number="5000" resource="STVSL"/>
<message column="1" line="615" message="Definition 'CONDUCT_ELECTION' not used" messageType="warning" number="5000" resource="STVSL"/>
<result/>
</testResult>