From 25cf46036db84711369e7e9411f146ac4f698fc5 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Fri, 10 Nov 2023 16:08:58 +0100
Subject: [PATCH] Add no-require emulation test

---
 test/emu/ovni/CMakeLists.txt |  1 +
 test/emu/ovni/no-require.c   | 25 +++++++++++++++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 test/emu/ovni/no-require.c

diff --git a/test/emu/ovni/CMakeLists.txt b/test/emu/ovni/CMakeLists.txt
index 9b2f4df..cae7548 100644
--- a/test/emu/ovni/CMakeLists.txt
+++ b/test/emu/ovni/CMakeLists.txt
@@ -19,3 +19,4 @@ test_emu(sort-cpus-by-rank.c MP)
 test_emu(tracedir-subdir.c MP DRIVER "tracedir-subdir.driver.sh")
 test_emu(empty-stream.c SHOULD_FAIL REGEX "model_ovni_finish: thread .* is not dead")
 test_emu(require.c SHOULD_FAIL REGEX "unsupported ovni model version (want 666.66.6, have .*)")
+test_emu(no-require.c REGEX "loading trace in compatibility mode")
diff --git a/test/emu/ovni/no-require.c b/test/emu/ovni/no-require.c
new file mode 100644
index 0000000..8cade25
--- /dev/null
+++ b/test/emu/ovni/no-require.c
@@ -0,0 +1,25 @@
+/* Copyright (c) 2023 Barcelona Supercomputing Center (BSC)
+ * SPDX-License-Identifier: GPL-3.0-or-later */
+
+#include <ovni.h>
+#include "instr.h"
+
+/* Test missing a call to ovni_thread_require() function */
+
+int
+main(void)
+{
+	ovni_version_check();
+	ovni_proc_init(1, "node.1", 123);
+	ovni_thread_init(123);
+
+	ovni_add_cpu(0, 0);
+
+	/* No ovni_thread_require() call */
+
+	instr_thread_execute(0, -1, 0);
+
+	instr_end();
+
+	return 0;
+}