Avoid short-circuit in policy checking (#4)

* Small improvement to avoid short-circuit

* Updated test expected

Author: pcanelas

examples/evaluation/detectable-142456.rospec

@@ -1,11 +1,11 @@
-policy instance depth5qos: qos {
-    setting history = KeepLast;
+policy instance best_effort_qos5: qos {
     setting depth = 5;
+    setting reliability = BestEffort;
 }
 
-policy instance depth1qos: qos {
-    setting history = KeepLast;
-    setting depth = 1;
+policy instance reliable_qos5: qos {
+    setting depth = 5;
+    setting reliability = Reliable;
 }
 
 policy instance RGB8: color_format {
@@ -19,13 +19,13 @@ policy instance Grayscale: color_format {
 node type openni_camera_driver_depth_type {
     optional param depth_registration: bool = true;
 
-    @qos{depth1qos}
+    @qos{best_effort_qos5}
     @color_format{Grayscale}
     publishes to /camera/rgb/image_raw: sensor_msgs/Image;
 }
 
 node type custom_node_type {
-    @qos{depth5qos}
+    @qos{reliable_qos5}
     @color_format{RGB8}
     subscribes to /camera/rgb/image_raw: sensor_msgs/Image;
 }

examples/expected/expected-142456.txt

@@ -1 +1,3 @@
+QoS rule reliability not satisfied: Reliable !< BestEffort
+QoS rules not satisfied for subscriber and publisher
 Color format not satisfied: RGB8 != Grayscale

src/rospec/verification/utils.py

@@ -218,7 +218,7 @@ def check_policies(
 
     result = True
     for name in consumer_policy.keys():
-        result = result and dispatcher[name](context, consumer_policy[name], provider_policy[name])
+        result = dispatcher[name](context, consumer_policy[name], provider_policy[name]) and result
 
     return result