Tests

.github/workflows/main.yml

@@ -10,6 +10,7 @@ on:
 jobs:
   build:
     strategy:
+      fail-fast: false
       matrix:
         config:
         - {
@@ -60,3 +61,7 @@ jobs:
       working-directory: ${{github.workspace}}/build
       # Build your program with the given configuration
       run: NINJA_STATUS="%p [%f:%s/%t] %o/s, %es" && ninja
+    - name: Test
+      working-directory: ${{github.workspace}}/build
+      # Build your program with the given configuration
+      run: ctest -j4 --output-on-failure

CMakeLists.txt

@@ -18,3 +18,6 @@ set_property(TARGET cheriot-audit PROPERTY CXX_STANDARD 20)
 
 target_link_libraries(cheriot-audit PRIVATE regocpp::rego)
 target_link_libraries(cheriot-audit PRIVATE nlohmann_json::nlohmann_json)
+
+enable_testing()
+add_subdirectory("Tests")

Tests/CMakeLists.txt

@@ -0,0 +1,10 @@
+message(STATUS "Adding tests")
+file(GLOB TESTS CONFIGURE_DEPENDS "*.query")
+
+message(STATUS "Tests: ${TESTS}")
+
+foreach(TEST ${TESTS})
+	get_filename_component(TEST_NAME ${TEST} NAME_WE)
+	add_test(${TEST_NAME}_expected "${CMAKE_CURRENT_SOURCE_DIR}/testexpected.sh" "${CMAKE_BINARY_DIR}/cheriot-audit" ${TEST})
+endforeach()
+

Tests/compartment_check.query

@@ -0,0 +1,3 @@
+# Check that we can demangle a library export correctly.
+--board inputs/sail.json -j inputs/test-suite.json -q 'data.compartment.compartment_call_allow_list("allocator_test", `test_allocator\(\)`, {"test_runner"})'
+

Tests/compartment_check.query.expected

@@ -0,0 +1 @@
+true

Tests/demangle_compartment_call.query

@@ -0,0 +1,4 @@
+# Check that we can demangle a compartment export correctly.
+--board inputs/sail.json -j inputs/test-suite.json -q 'export_entry_demangle("alloc", input.compartments.allocator.exports[6].export_symbol)'
+
+

Tests/demangle_compartment_call.query.expected

@@ -0,0 +1 @@
+"heap_free(SObjStruct*, void*)"

Tests/demangle_libcall.query

@@ -0,0 +1,3 @@
+# Check that we can demangle a library export correctly.
+--board inputs/sail.json -j inputs/test-suite.json -q 'export_entry_demangle("token_library", input.compartments.token_library.exports[0].export_symbol)'
+

Tests/demangle_libcall.query.expected

@@ -0,0 +1 @@
+"token_obj_unseal(SKeyStruct*, SObjStruct*)"

Tests/inputs/sail.json

@@ -0,0 +1,40 @@
+{
+    "devices": {
+        "clint": {
+            "start": 0x2000000,
+            "length": 0x10000
+        },
+        "uart": {
+            "start": 0x10000000,
+            "end":   0x10000100
+        },
+        "shadow" : {
+            "start" : 0x83000000,
+            "end"   : 0x83001000
+        }
+    },
+    "instruction_memory": {
+        "start": 0x80000000,
+        "end": 0x80040000
+    },
+    "heap": {
+        "end": 0x80040000
+    },
+    "interrupts": [
+        {
+            "name": "FakeInterrupt",
+            "number": 4,
+            "priority": 2
+        }
+    ],
+    "defines" : "SAIL",
+    "driver_includes" : [
+        "../include/platform/generic-riscv"
+    ],
+    "timer_hz" : 2000,
+    "tickrate_hz" : 10,
+    "revoker" : "software",
+    "stack_high_water_mark" : true,
+    "simulator" : "cheriot_sim",
+    "simulation": true
+}