-
Notifications
You must be signed in to change notification settings - Fork 25
/
DigraphSL.result
17 lines (17 loc) · 1.85 KB
/
DigraphSL.result
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.typechecker.tests.ModulesSlTypeCheckTest">
<message column="8" line="350" message="k at 345:25 hidden by k" messageType="warning" number="5008" resource="DigraphSL"/>
<message column="10" line="351" message="i at 345:7 hidden by i" messageType="warning" number="5008" resource="DigraphSL"/>
<message column="11" line="352" message="j at 345:16 hidden by j" messageType="warning" number="5008" resource="DigraphSL"/>
<message column="2" line="254" message="Recursive function has no measure" messageType="warning" number="5012" resource="DigraphSL"/>
<message column="2" line="254" message="Recursive function has no measure" messageType="warning" number="5012" resource="DigraphSL"/>
<message column="2" line="302" message="Recursive function has no measure" messageType="warning" number="5012" resource="DigraphSL"/>
<message column="2" line="302" message="Recursive function has no measure" messageType="warning" number="5012" resource="DigraphSL"/>
<message column="2" line="322" message="Recursive function has no measure" messageType="warning" number="5012" resource="DigraphSL"/>
<message column="2" line="322" message="Recursive function has no measure" messageType="warning" number="5012" resource="DigraphSL"/>
<message column="2" line="261" message="Recursive function has no measure" messageType="warning" number="5012" resource="DigraphSL"/>
<message column="2" line="261" message="Recursive function has no measure" messageType="warning" number="5012" resource="DigraphSL"/>
<message column="2" line="261" message="Recursive function has no measure" messageType="warning" number="5012" resource="DigraphSL"/>
<message column="21" line="48" message="Impure operation 'relations`Warshall' cannot be called from here" messageType="error" number="3300" resource="DigraphSL"/>
<result/>
</testResult>