Add tests

tool/microkit/tests/sdf/ch_end_invalid_notify.xml

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+ Copyright 2024, UNSW.
+
+ SPDX-License-Identifier: BSD-2-Clause
+-->
+<system>
+    <protection_domain name="test1">
+        <program_image path="test" />
+    </protection_domain>
+    <protection_domain name="test2">
+        <program_image path="test" />
+    </protection_domain>
+
+    <channel>
+        <end pd="test1" id="0" />
+        <end pd="test2" id="5" notify="no" />
+    </channel>
+</system>

tool/microkit/tests/sdf/ch_end_invalid_pp.xml

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+ Copyright 2024, UNSW.
+
+ SPDX-License-Identifier: BSD-2-Clause
+-->
+<system>
+    <protection_domain name="test1">
+        <program_image path="test" />
+    </protection_domain>
+    <protection_domain name="test2">
+        <program_image path="test" />
+    </protection_domain>
+
+    <channel>
+        <end pd="test1" id="0" pp="no" />
+        <end pd="test2" id="5"/>
+    </channel>
+</system>

tool/microkit/tests/sdf/ch_invalid_element.xml

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+ Copyright 2024, UNSW.
+
+ SPDX-License-Identifier: BSD-2-Clause
+-->
+<system>
+    <protection_domain name="test1">
+        <program_image path="test" />
+    </protection_domain>
+    <protection_domain name="test2">
+        <program_image path="test" />
+    </protection_domain>
+
+    <channel>
+        <ending pd="test1" id="0" />
+        <end pd="test2" id="5" notify="true" />
+    </channel>
+</system>

tool/microkit/tests/sdf/ch_not_enough_ends.xml

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+ Copyright 2024, UNSW.
+
+ SPDX-License-Identifier: BSD-2-Clause
+-->
+<system>
+    <protection_domain name="test1">
+        <program_image path="test" />
+    </protection_domain>
+    <protection_domain name="test2">
+        <program_image path="test" />
+    </protection_domain>
+
+    <channel>
+        <end pd="test1" id="5" notify="true" />
+    </channel>
+</system>

tool/microkit/tests/sdf/ch_too_many_ends.xml

@@ -0,0 +1,20 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+ Copyright 2024, UNSW.
+
+ SPDX-License-Identifier: BSD-2-Clause
+-->
+<system>
+    <protection_domain name="test1">
+        <program_image path="test" />
+    </protection_domain>
+    <protection_domain name="test2">
+        <program_image path="test" />
+    </protection_domain>
+
+    <channel>
+        <end pd="test1" id="5" notify="true" />
+        <end pd="test2" id="5" notify="true" />
+        <end pd="test2" id="5" notify="true" />
+    </channel>
+</system>

tool/microkit/tests/test.rs

@@ -320,6 +320,46 @@ mod channel {
             "Error: invalid PD name 'invalidpd' on element 'end': ",
         )
     }
+
+    #[test]
+    fn test_invalid_element() {
+        check_error(
+            "ch_invalid_element.xml",
+            "Error: invalid XML element 'ending': ",
+        )
+    }
+
+    #[test]
+    fn test_not_enough_ends() {
+        check_error(
+            "ch_not_enough_ends.xml",
+            "Error: exactly two end elements must be specified on element 'channel': ",
+        )
+    }
+
+    #[test]
+    fn test_too_many_ends() {
+        check_error(
+            "ch_too_many_ends.xml",
+            "Error: exactly two end elements must be specified on element 'channel': ",
+        )
+    }
+
+    #[test]
+    fn test_end_invalid_pp() {
+        check_error(
+            "ch_end_invalid_pp.xml",
+            "Error: pp must be 'true'/'false' on element 'end': ",
+        )
+    }
+
+    #[test]
+    fn test_end_invalid_notify() {
+        check_error(
+            "ch_end_invalid_notify.xml",
+            "Error: notify must be 'true'/'false' on element 'end': ",
+        )
+    }
 }
 
 #[cfg(test)]