Print empty array if empty trace

Author: Asger Gitz-Johansen

CHANGELOG.md

@@ -1,5 +1,5 @@
 # AALTITOAD Changelog
-This Changelog contains the changes since last release.
+This Changelog contains the changes since last release. (Updates happen when releasing)
  - [Added](https://github.com/sillydan1/AALTITOAD/pull/26) CI via github actions
  - [Added](https://github.com/sillydan1/AALTITOAD/pull/27) fischer-2/5/10 mutex variants for testing
  - [Added](https://github.com/sillydan1/AALTITOAD/pull/13) an attempt to fix hash-collision issue

CMakeLists.txt

@@ -16,7 +16,7 @@
 
 # 3.16+ because of target_precompiled_header
 cmake_minimum_required(VERSION 3.16)
-project(aaltitoad VERSION 0.9.1)
+project(aaltitoad VERSION 0.9.2)
 configure_file(src/config.h.in config.h)
 set(THREADS_PREFER_PTHREAD_FLAG ON)
 find_package(Threads REQUIRED)

src/verifier/ReachabilitySearcher.cpp

@@ -138,6 +138,7 @@ auto ReachabilitySearcher::PrintResults(const std::vector<QueryResultPair>& resu
         }
         if(trace.empty()) {
             spdlog::info("No trace available");
+            printf("[]\n"); // TODO: This should be able to print to a file
             continue;
         }
         spdlog::info("Trace:");