diff --git a/include/arbitration_graphs/verification.hpp b/include/arbitration_graphs/verification.hpp
index 9a1316f5..b0a2a8c7 100644
--- a/include/arbitration_graphs/verification.hpp
+++ b/include/arbitration_graphs/verification.hpp
@@ -14,9 +14,11 @@ namespace arbitration_graphs::verification {
  * robots. Otherwise these are a good starting point to implement your own meaningful verifier.
  */
 struct PlaceboResult {
-    static bool isOk() {
-        return true;
+    bool isOk() const {
+        return isOk_;
     };
+
+    bool isOk_{true};
 };
 template <typename DataT>
 struct PlaceboVerifier {
diff --git a/test/dummy_types.hpp b/test/dummy_types.hpp
index 8c122226..9fb5dbfd 100644
--- a/test/dummy_types.hpp
+++ b/test/dummy_types.hpp
@@ -1,6 +1,7 @@
 #pragma once
 
 #include "behavior.hpp"
+#include "verification.hpp"
 
 
 namespace arbitration_graphs_tests {
@@ -66,20 +67,14 @@ class DummyBehavior : public Behavior<DummyCommand> {
 class BrokenDummyBehavior : public DummyBehavior {
 public:
     BrokenDummyBehavior(const bool invocation, const bool commitment, const std::string& name = "BrokenDummyBehavior")
-            : DummyBehavior(invocation, commitment, name) {};
+            : DummyBehavior(invocation, commitment, name){};
 
     DummyCommand getCommand(const Time& time) override {
         throw std::runtime_error("BrokenDummyBehavior::getCommand() is broken");
     }
 };
 
-struct DummyResult {
-    bool isOk() const {
-        return isOk_;
-    };
-
-    bool isOk_;
-};
+struct DummyResult : public verification::PlaceboResult {};
 
 } // namespace arbitration_graphs_tests