Skip to content
Snippets Groups Projects
Normal view Permalink
CCTx_Fabric_Ethereum_m2.bps 1.98 KiB
Newer Older
Guzman Llambias's avatar
CCTx Fabric -> Ethereum Preserve balance gateway
Guzman Llambias committed
1 2 
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.psFile>
Guzman Llambias's avatar
Fix from reviewers comments  
Guzman Llambias committed
3 4 5 6 7 8 9 10 11 12 13 
    <org.eventb.core.psStatus name="INITIALISATION/inv11/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="64" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="SUBMIT_TX_TO_ETHEREUM/grd12/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="64" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="SUBMIT_TX_TO_ETHEREUM/inv11/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="64" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="SUBMIT_TX_TO_ETHEREUM/act11/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="64" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="CREATE_ADDRESS_IN_ETHEREUM/inv11/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="64" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="DEPOSIT_CRYPTOCURRENCY_IN_ETHEREUM/inv11/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="64" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="DEPOSIT_CRYPTOCURRENCY_IN_ETHEREUM/act1/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="64" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="SUBMIT_TRANSFER_TRANSACTION_IN_ETHEREUM/grd2/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="64" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="SUBMIT_TRANSFER_TRANSACTION_IN_ETHEREUM/grd6/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="64" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="SUBMIT_TRANSFER_TRANSACTION_IN_ETHEREUM/inv11/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="64" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="SUBMIT_TRANSFER_TRANSACTION_IN_ETHEREUM/act1/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="64" org.eventb.core.psManual="false"/>
Guzman Llambias's avatar
CCTx Fabric -> Ethereum Preserve balance gateway
Guzman Llambias committed
14 
</org.eventb.core.psFile>