search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Update tests for Julia v1.2 #683

Closed schillic closed 4 years ago

schillic commented 4 years ago

I also upgraded the development-version test suite to v1.2.