From cfe2a4a34334d307a3bd4c0b9e969f243eced41f Mon Sep 17 00:00:00 2001
From: Asger Gitz-Johansen <agj@hmkbilcon.dk>
Date: Thu, 7 Apr 2022 08:26:52 +0200
Subject: [PATCH] Print empty array if empty trace

---
 CHANGELOG.md                          | 2 +-
 CMakeLists.txt                        | 2 +-
 src/verifier/ReachabilitySearcher.cpp | 1 +
 3 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index e4f1f1d2..dd970417 100644
--- a/CHANGELOG.md
+++ b/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
diff --git a/CMakeLists.txt b/CMakeLists.txt
index b922053e..e20ff954 100644
--- a/CMakeLists.txt
+++ b/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)
diff --git a/src/verifier/ReachabilitySearcher.cpp b/src/verifier/ReachabilitySearcher.cpp
index 1cbf04d0..fd1b313e 100644
--- a/src/verifier/ReachabilitySearcher.cpp
+++ b/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:");