plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/SSR_fi/VandVResults/ContractRefinement/result_contract_refinement.xml

<?xml version="1.0" encoding="UTF-8"?>
<ns:OcraOutput xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="OcraOutput.xsd" xmlns:ns="https://es.fbk.eu/tools/ocra/xml/OcraOutput">
 <OcraResult checkType="ocra_check_refinement" timestamp="">
  <Component type="System">
   <Contract name="Sense">
    <CheckResult proofType="implementation" contractName="Sense">
     <Value value="OK"/>
    </CheckResult>
    <CheckResult proofType="environment" contractName="sensor1.Sense">
     <Value value="OK"/>
    </CheckResult>
    <CheckResult proofType="environment" contractName="sensor2.Sense">
     <Value value="OK"/>
    </CheckResult>
    <CheckResult proofType="environment" contractName="selector.Select">
     <Value value="OK"/>
    </CheckResult>
    <CheckResult proofType="environment" contractName="selector.Switch">
     <Value value="OK"/>
    </CheckResult>
    <CheckResult proofType="environment" contractName="monitor2.Monitor">
     <Value value="OK"/>
    </CheckResult>
    <CheckResult proofType="environment" contractName="monitor1.Monitor">
     <Value value="OK"/>
    </CheckResult>
   </Contract>
  </Component>
 </OcraResult>
</ns:OcraOutput>