Make json parser unit tests independent of working directory

diffblue · Jul 19, 2018 · ed48122 · ed48122
1 parent 14dc11e
commit ed48122
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 6 deletions.
diff --git a/unit/json/invalid.json b/unit/json/invalid.json
diff --git a/unit/json/json_parser.cpp b/unit/json/json_parser.cpp
@@ -6,16 +6,30 @@
 
 \*******************************************************************/
 
+#include <fstream>
 #include <json/json_parser.h>
 #include <testing-utils/catch.hpp>
 #include <testing-utils/message.h>
+#include <util/tempfile.h>
 
 SCENARIO("Loading JSON files")
 {
   GIVEN("A invalid JSON file and a valid JSON file")
   {
-    const std::string valid_json_path = "./json/valid.json";
-    const std::string invalid_json_path = "./json/invalid.json";
+    temporary_filet valid_json_file("cbmc_unit_json_parser_valid", ".json");
+    temporary_filet invalid_json_file("cbmc_unit_json_parser_invalid", ".json");
+    const std::string valid_json_path = valid_json_file();
+    const std::string invalid_json_path = invalid_json_file();
+    {
+      std::ofstream valid_json_out(valid_json_path);
+      valid_json_out << "{\n"
+                     << "  \"hello\": \"world\"\n"
+                     << "}\n";
+    }
+    {
+      std::ofstream invalid_json_out(invalid_json_path);
+      invalid_json_out << "foo\n";
+    }
 
     WHEN("Loading the invalid JSON file")
     {

diff --git a/unit/json/valid.json b/unit/json/valid.json