-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathDSR_2.bps
More file actions
46 lines (46 loc) · 6.42 KB
/
DSR_2.bps
File metadata and controls
46 lines (46 loc) · 6.42 KB
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.psFile>
<org.eventb.core.psStatus name="inv4/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="70" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="inv5/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="70" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="inv6/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="INITIALISATION/inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="72" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="72" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="INITIALISATION/inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="INITIALISATION/inv6/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="INITIALISATION/act6/FIS" org.eventb.core.confidence="1000" org.eventb.core.poStamp="72" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="Lier/grd5/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Lier/inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Lier/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Lier/inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Lier/inv6/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Lier/act2/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Delier/grd4/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="83" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="Delier/inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="83" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Delier/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="83" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Delier/inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="83" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Delier/inv6/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="83" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="Delier/act2/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="83" org.eventb.core.psManual="false"/>
<org.eventb.core.psStatus name="Envoyer/grd3/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Envoyer/grd19/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Envoyer/grd20/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Envoyer/r/WWD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Envoyer/grd6/GRD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Envoyer/grd14/GRD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Envoyer/grd17/GRD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Envoyer/act3/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Envoyer/act5/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Envoyer/act3/SIM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Envoyer/act5/SIM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Router/grd11/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Router/inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="84" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Router/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="84" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Router/inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="84" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Router/inv6/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="84" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Router/act1/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Derouter/grd2/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Derouter/inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Derouter/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Derouter/inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Derouter/inv6/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
<org.eventb.core.psStatus name="Derouter/act1/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="82" org.eventb.core.psManual="true"/>
</org.eventb.core.psFile>