realmSL.result

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<testResult type="org.overture.typechecker.tests.ModulesSlTypeCheckTest">
<message column="3" line="452" message="Recursive function has no measure" messageType="warning" number="5012" resource="realmSL"/>
<message column="3" line="521" message="Recursive function has no measure" messageType="warning" number="5012" resource="realmSL"/>
<message column="3" line="409" message="Recursive function has no measure" messageType="warning" number="5012" resource="realmSL"/>
<result/>
</testResult>