From 7d44e20d1a2085a9fa686580a96f4f37214b3875 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 24 Nov 2019 07:51:31 -0500
Subject: VAMPIRE: Further Post-submission updates

---
 .../output/model5.xmi                                      | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi

(limited to 'Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi')

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi
new file mode 100644
index 00000000..3b601704
--- /dev/null
+++ b/Tests/ca.mcgill.ecse.dslreasoner.yakindu.test/output/model5.xmi
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="ASCII"?>
+<hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm">
+  <regions>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:Synchronization"/>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry"/>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice"/>
+  </regions>
+  <regions>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State"/>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State"/>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:FinalState"/>
+  </regions>
+</hu.bme.mit.inf.yakindumm:Statechart>
-- 
cgit v1.2.3-54-g00ecf