test: verify SHM path in SHM abort regression

Author: Sahil-u07

tests/test_shm_abort.py

@@ -34,15 +34,21 @@ def _compile_and_run(payload_size):
                 f"""
                 #include "concore.hpp"
                 #include <exception>
+                #include <filesystem>
                 #include <string>
 
                 int main() {{
                     try {{
                         Concore concore;
+                        std::filesystem::create_directories("out/1");
                         concore.delay = 0;
                         concore.simtime = 0;
                         std::string payload({payload_size}, 'a');
                         concore.write(1, "payload", payload);
+                        if (std::filesystem::exists("out/1/payload")) {{
+                            std::cerr << "write used the file path instead of shared memory" << std::endl;
+                            return 2;
+                        }}
                         return 0;
                     }} catch (const std::exception& error) {{
                         std::cerr << error.what() << std::endl;
@@ -91,7 +97,8 @@ def test_oversized_payload_throws():
 def test_within_limit_succeeds():
     result = _compile_and_run(100)
     assert result.returncode == 0
-    assert result.stderr == ""
+    assert "Aborting" not in result.stderr
+    assert "write used the file path instead of shared memory" not in result.stderr
 
 
 def test_exactly_at_limit_throws():
@@ -103,4 +110,5 @@ def test_exactly_at_limit_throws():
 def test_one_under_limit_succeeds():
     result = _compile_and_run(4095)
     assert result.returncode == 0
-    assert result.stderr == ""
+    assert "Aborting" not in result.stderr
+    assert "write used the file path instead of shared memory" not in result.stderr