search

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
227 stars 32 forks source link

Remove old (now duplicate) ambiguity tests #3451

Closed schillic closed 6 months ago

schillic commented 6 months ago

We now check for ambiguities with Aqua.