testing

.gitignore

@@ -43,5 +43,6 @@ test/**/results.txt
 # neovim autogenerated files
 compile_commands.json
 Debug/
+Release/
 .cache/
 

src/util/warnings.h

@@ -26,7 +26,8 @@ namespace aaltitoad {
         overlap_idem,
         plugin_load_failed,
         unsupported_query,
-        parser_warning
+        parser_warning,
+        already_visited
     };
 
     class warnings {

src/verification/forward_reachability.cpp

@@ -35,7 +35,7 @@ namespace aaltitoad {
         for(auto& l : s0.tock()) {
             auto sp = s0 + l;
             if(!P.contains(sp))
-                W.add(s0_it, sp);
+                W.add_if_not_contains(s0_it, sp);
         }
         while(!W.empty()) {
             spdlog::trace("len(W)={0} | len(P)={1}", W.size(), P.size());
@@ -54,7 +54,7 @@ namespace aaltitoad {
                 auto sn_tocks = sn.tock();
                 /// if nothing interesting is possible, just add tick-space state to W
                 if(sn_tocks.empty()) {
-                    W.add(s_it, sn);
+                    W.add_if_not_contains(s_it, sn);
                     continue;
                 }
                 /// Add tock-space states to W
@@ -65,7 +65,7 @@ namespace aaltitoad {
                 for(auto& so : sn_tocks) {
                     auto sp = sn + so;
                     if(!P.contains(sp))
-                        W.add(sn_it, sp);
+                        W.add_if_not_contains(sn_it, sp);
                 }
             }
         }

src/verification/traceable_multimap.h

@@ -21,6 +21,7 @@
 #include "pick_strategy.h"
 #include "util/exceptions/not_implemented_yet_exception.h"
 #include "util/random.h"
+#include "util/warnings.h"
 
 namespace aaltitoad {
     template<typename T>
@@ -57,6 +58,11 @@ namespace aaltitoad {
         auto add(size_t key, const std::optional<iterator_t>& parent, const T& v) {
             return data.insert({key, {parent, v}});
         }
+        void add_if_not_contains(const std::optional<iterator_t>& parent, const T& v) {
+            if(contains(v))
+                return;
+            add(parent, v);
+        }
         auto contains(const T& v) const -> bool {
             return contains(std::hash<T>{}(v), v);
         }