JuliaReach / LazySets.jl

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

Run doctests when building docs instead of tests #3478

Closed schillic closed 4 months ago

schillic commented 4 months ago

This is more consistent with what we do in other packages.

In the docs environment, an older verion of Symbolics is used, which seems to have a different behavior, and so I had to remove one doctest (= change to @example).