Merge pull request #721 from JuliaReach/schillic/property_one_step

Fix property checking with N == 1 and multiple blocks
JuliaReach · Dec 27, 2019 · 72a7a26 · 72a7a26
2 parents 573612f + 10f0646
commit 72a7a26
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ReachSets/ContinuousPost/BFFPSV18/check_property.jl b/src/ReachSets/ContinuousPost/BFFPSV18/check_property.jl
@@ -59,7 +59,7 @@ function check_property(S::IVP{<:AbstractDiscreteSystem},
         if length(blocks) == 1
             Xhat0_mod = Xhat0[blocks[1]]
         else
-            Xhat0_mod = CartesianProductArray(Xhat0)
+            Xhat0_mod = CartesianProductArray(Xhat0[blocks])
         end
         return check(property, Xhat0_mod) ? 0 : 1
     end