test: authenticate LinxISA 0.58.1 model evidence

CMakeLists.txt

@@ -144,6 +144,12 @@ add_test(
     --fixture
     ${CMAKE_CURRENT_SOURCE_DIR}/tests/fixtures/pto_v058_shared_state.json)
 set_tests_properties(linx_model_check_pto_v058_shared_fixture PROPERTIES LABELS "checks")
+add_test(
+  NAME linx_model_check_diff_runner
+  COMMAND
+    ${Python3_EXECUTABLE}
+    ${CMAKE_CURRENT_SOURCE_DIR}/tests/avs/test_run_model_diff_suite.py)
+set_tests_properties(linx_model_check_diff_runner PROPERTIES LABELS "checks")
 add_test(
   NAME linx_model_check_gen_minst_codec
   COMMAND

include/linx/model/emulator/execution_context.hpp

@@ -73,6 +73,8 @@ class ExecutionContext {
   [[nodiscard]] std::optional<std::uint16_t> Read16(std::uint64_t addr) const;
   [[nodiscard]] std::optional<std::uint32_t> Read32(std::uint64_t addr) const;
   [[nodiscard]] std::optional<std::uint64_t> Read64(std::uint64_t addr) const;
+  [[nodiscard]] std::optional<std::vector<std::uint8_t>> ReadMemoryRange(std::uint64_t addr,
+                                                                         std::size_t size) const;
   void Write8(std::uint64_t addr, std::uint8_t value);
   void Write32(std::uint64_t addr, std::uint32_t value);
   void Write64(std::uint64_t addr, std::uint64_t value);

include/linx/model/sim_main.hpp

@@ -22,6 +22,9 @@ namespace linx::model {
 struct SimMainArgs {
   std::string engine = "ref";
   std::optional<std::string> emit_trace_path;
+  std::optional<std::string> result_dump_path;
+  std::optional<std::uint64_t> result_address;
+  std::optional<std::uint64_t> result_size;
   std::optional<std::uint64_t> stop_pc;
   std::optional<std::uint64_t> max_cycles;
   std::size_t compare_window = 128;

src/emulator/execution_context.cpp

@@ -1,6 +1,7 @@
 #include "linx/model/emulator/execution_context.hpp"
 
 #include <filesystem>
+#include <limits>
 
 #include "linx/model/sim_assert.hpp"
 
@@ -148,6 +149,23 @@ std::optional<std::uint64_t> ExecutionContext::Read64(std::uint64_t addr) const
   return value;
 }
 
+std::optional<std::vector<std::uint8_t>> ExecutionContext::ReadMemoryRange(std::uint64_t addr,
+                                                                           std::size_t size) const {
+  if (size > 0 && size - 1U > std::numeric_limits<std::uint64_t>::max() - addr) {
+    return std::nullopt;
+  }
+  std::vector<std::uint8_t> bytes;
+  bytes.reserve(size);
+  for (std::size_t index = 0; index < size; ++index) {
+    const auto byte = Read8(addr + index);
+    if (!byte.has_value()) {
+      return std::nullopt;
+    }
+    bytes.push_back(*byte);
+  }
+  return bytes;
+}
+
 void ExecutionContext::Write8(std::uint64_t addr, std::uint8_t value) {
   memory_[addr] = value;
 }