diff --git a/Tests/compartment_allow_list.query b/Tests/compartment_allow_list.query new file mode 100644 index 0000000..44b24c6 --- /dev/null +++ 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 new file mode 100644 index 0000000..27ba77d --- /dev/null +++ b/Tests/compartment_allow_list.query.expected @@ -0,0 +1 @@ +true diff --git a/Tests/compartment_callers.query b/Tests/compartment_callers.query new file mode 100644 index 0000000..6768fcc --- /dev/null +++ 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 new file mode 100644 index 0000000..f84f071 --- /dev/null +++ b/Tests/compartment_callers.query.expected @@ -0,0 +1 @@ +["allocator_test", "test_runner"]