Add basic testing infrastructure.

Each .query file contains some command-line arguments that are passed to
the binary.  It is must be accompanied by a .expected file that contains
the expected output.

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 "*.query" 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/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
+}