From e491f9c0f03db4397f0ffc6ec0ac8a91f90112b3 Mon Sep 17 00:00:00 2001
From: David Thomas <dt10@imperial.ac.uk>
Date: Thu, 14 Jul 2022 00:21:20 +0000
Subject: [PATCH] Added test-case

---
 .../L3-compilation/duplicate_device_id.xml    | 25 +++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 Tests/ReferenceXML/v4/PEP20/tests/invalid/L3-compilation/duplicate_device_id.xml

diff --git a/Tests/ReferenceXML/v4/PEP20/tests/invalid/L3-compilation/duplicate_device_id.xml b/Tests/ReferenceXML/v4/PEP20/tests/invalid/L3-compilation/duplicate_device_id.xml
new file mode 100644
index 00000000..eaccfb0e
--- /dev/null
+++ b/Tests/ReferenceXML/v4/PEP20/tests/invalid/L3-compilation/duplicate_device_id.xml
@@ -0,0 +1,25 @@
+<Graphs xmlns="https://poets-project.org/schemas/virtual-graph-schema-v4">
+  <GraphType id="duplicate_device_id_gt">
+    <MessageTypes>
+    </MessageTypes>
+    <DeviceTypes>
+      <DeviceType id="wibble">
+        <Properties/>
+        <State />
+        <SharedCode />
+        <ReadyToSend />
+        <OnInit />
+        <OnHardwareIdle />
+        <OnDeviceIdle />
+      </DeviceType>
+    </DeviceTypes>
+  </GraphType>
+  <GraphInstance id="duplicate_device_id_gi" graphTypeId="duplicate_device_id_gt">
+    <DeviceInstances>
+      <DevI id="dev0" type="wibble" />
+      <DevI id="dev0" type="wibble" />
+    </DeviceInstances>
+    <EdgeInstances>
+    </EdgeInstances>
+  </GraphInstance>
+</Graphs>