activate doctests

JuliaReach · Feb 7, 2024 · cf3184c · cf3184c
1 parent 6f29b39
commit cf3184c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/make.jl b/docs/make.jl
@@ -118,7 +118,7 @@ makedocs(;
                                 assets=["assets/aligned.css"]),
          sitename="ReachabilityAnalysis.jl",
          modules=[ReachabilityAnalysis],
-         doctest=false,
+         #doctest=false,
          pagesonly=true,
          pages=["Overview" => "index.md",
                 "Tutorials" => vcat(SET_REPRESENTATIONS,