Skip to content

Commit

Permalink
Update runtests.jl
Browse files Browse the repository at this point in the history
  • Loading branch information
@adrienbanse
adrienbanse authored Oct 19, 2023
1 parent 06ccfa6 commit d9ef8f9
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions test/runtests.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -30,10 +30,10 @@ include("./optim/unit_tests_NaiveAbstraction/test_fromcontrolsystemgrowth.jl")
include("./optim/unit_tests_NaiveAbstraction/test_fromcontrolsystemlinearized.jl")
include("./optim/test_NaiveAbstraction_safety.jl")
include("./optim/test_NaiveAbstraction_reachability.jl")
include("./optim/test_Lazy_abstraction.jl")
include("./optim/test_Ellipsoids_abstraction.jl")
include("./optim/test_Lazy_ellipsoids_abstraction.jl")
include("./optim/test_Hierarchical_abstraction.jl")
include("./optim/test_lazy_abstraction.jl")
include("./optim/test_ellipsoids_abstraction.jl")
include("./optim/test_lazy_ellipsoids_abstraction.jl")
include("./optim/test_hierarchical_abstraction.jl")

include("./mapping/test_mapping_continuous.jl")

Expand Down

0 comments on commit d9ef8f9

Please sign in to comment.