From 2c3e1a4e4d9b59d1d8434887d06cd2760cf60515 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Thu, 10 Feb 2022 14:41:04 +0100
Subject: [PATCH] no target map -> false

---
 fuzzers/wcet_qemu_sys/src/worst.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/fuzzers/wcet_qemu_sys/src/worst.rs b/fuzzers/wcet_qemu_sys/src/worst.rs
index 45257d7fe2..af77b67415 100644
--- a/fuzzers/wcet_qemu_sys/src/worst.rs
+++ b/fuzzers/wcet_qemu_sys/src/worst.rs
@@ -177,7 +177,7 @@ where
     {
         let observer = _observers.match_name::<HitcountsMapObserver<VariableMapObserver<u8>>>("edges")
             .expect("HitcountsMapObserver not found");
-        if self.target_map.len() == 0 { return Ok(true) };
+        if self.target_map.len() == 0 { return Ok(false) };
 
         let mut sum_of_square_difference : u64 = 0; // does not include found edges not in target
         for (edg, val) in &self.target_map {
@@ -305,7 +305,7 @@ where
     {
         let observer = _observers.match_name::<HitcountsMapObserver<VariableMapObserver<u8>>>("edges")
             .expect("HitcountsMapObserver not found");
-        if self.target_map.len() == 0 { return Ok(true) };
+        if self.target_map.len() == 0 { return Ok(false) };
 
         let mut sum_of_square_difference : u64 = 0; // does not include found edges not in target
         for (edg, val) in &self.target_map {