From cabc57688380b957706d8d2797bc04a37ac43a0b Mon Sep 17 00:00:00 2001
From: CoderiGenius <29704758+CoderiGenius@users.noreply.github.com>
Date: Tue, 29 Dec 2020 20:10:14 +0000
Subject: [PATCH] add test2

---
 Test/Test.bcc | 4 ++++
 Test/Test.bpo | 7 +++++++
 Test/Test.bpr | 2 ++
 Test/Test.bps | 2 ++
 Test/Test.buc | 4 ++++
 5 files changed, 19 insertions(+)
 create mode 100644 Test/Test.bcc
 create mode 100644 Test/Test.bpo
 create mode 100644 Test/Test.bpr
 create mode 100644 Test/Test.bps
 create mode 100644 Test/Test.buc

diff --git a/Test/Test.bcc b/Test/Test.bcc
new file mode 100644
index 0000000..1721260
--- /dev/null
+++ b/Test/Test.bcc
@@ -0,0 +1,4 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<org.eventb.core.scContextFile org.eventb.core.accurate="true" org.eventb.core.configuration="org.eventb.core.fwd">
+    <org.eventb.core.scCarrierSet name="Word" org.eventb.core.source="/Test/Test.buc|org.eventb.core.contextFile#Test|org.eventb.core.carrierSet#'" org.eventb.core.type="ℙ(Word)"/>
+</org.eventb.core.scContextFile>
diff --git a/Test/Test.bpo b/Test/Test.bpo
new file mode 100644
index 0000000..cc2db6c
--- /dev/null
+++ b/Test/Test.bpo
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<org.eventb.core.poFile org.eventb.core.poStamp="0">
+    <org.eventb.core.poPredicateSet name="ABSHYP" org.eventb.core.poStamp="0">
+        <org.eventb.core.poIdentifier name="Word" org.eventb.core.type="ℙ(Word)"/>
+    </org.eventb.core.poPredicateSet>
+    <org.eventb.core.poPredicateSet name="ALLHYP" org.eventb.core.parentSet="/Test/Test.bpo|org.eventb.core.poFile#Test|org.eventb.core.poPredicateSet#ABSHYP" org.eventb.core.poStamp="0"/>
+</org.eventb.core.poFile>
diff --git a/Test/Test.bpr b/Test/Test.bpr
new file mode 100644
index 0000000..d13ec2a
--- /dev/null
+++ b/Test/Test.bpr
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<org.eventb.core.prFile version="1"/>
\ No newline at end of file
diff --git a/Test/Test.bps b/Test/Test.bps
new file mode 100644
index 0000000..ced513e
--- /dev/null
+++ b/Test/Test.bps
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<org.eventb.core.psFile/>
\ No newline at end of file
diff --git a/Test/Test.buc b/Test/Test.buc
new file mode 100644
index 0000000..20c4985
--- /dev/null
+++ b/Test/Test.buc
@@ -0,0 +1,4 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd" version="3">
+    <org.eventb.core.carrierSet name="'" org.eventb.core.identifier="Word"/>
+</org.eventb.core.contextFile>
-- 
GitLab