Add some more tests.

CHERIoT-Platform · Jun 6, 2024 · 5e03a36 · 5e03a36
1 parent a0b66c8
commit 5e03a36
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 0 deletions.
diff --git a/Tests/compartment_allow_list.query b/Tests/compartment_allow_list.query
@@ -0,0 +1,2 @@
+--board inputs/sail.json -j inputs/test-suite.json -q 'data.compartment.compartment_allow_list("allocator_test", {"test_runner", "allocator_test"})'
+
diff --git a/Tests/compartment_allow_list.query.expected b/Tests/compartment_allow_list.query.expected
@@ -0,0 +1 @@
+true
diff --git a/Tests/compartment_callers.query b/Tests/compartment_callers.query
@@ -0,0 +1 @@
+--board inputs/sail.json -j inputs/test-suite.json -q 'data.compartment.compartments_calling("allocator_test")'
diff --git a/Tests/compartment_callers.query.expected b/Tests/compartment_callers.query.expected
@@ -0,0 +1 @@
+["allocator_test", "test_runner"]