add test that projects

JuliaReach · Dec 14, 2019 · c1dea38 · c1dea38
1 parent 00201ca
commit c1dea38
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/test/Reachability/solve_continuous.jl b/test/Reachability/solve_continuous.jl
@@ -34,6 +34,9 @@ s = solve(IVP(LCS(A), X0),
 # ===============================
 # Test projection
 # ===============================
+s = solve(IVP(LCS(A), X0),
+          Options(:T=>0.1, :project_reachset=>true),
+          op=BFFPSV18(:vars=>[1,3], :partition=>[1:2, 3:4]))
 s = solve(IVP(LCS(A), X0),
           Options(:T=>0.1, :project_reachset=>false),
           op=BFFPSV18(:vars=>[1,3], :partition=>[1:2, 3:4]))