Merge pull request #878 from JuliaReach/schillic/71

Use strict doctests again
JuliaReach · Nov 4, 2018 · 1b1bc5e · 1b1bc5e
2 parents 7e25157 + 415d323
commit 1b1bc5e
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -2,7 +2,7 @@ ENV["GKSwstype"] = "100"  # set 'GR environment' to 'no output' (for Travis CI)
 using Documenter, LazySets, Polyhedra
 
 makedocs(
-    doctest = true,  # use this flag to skip doctests (saves time!)
+    doctest = false,
     modules = [LazySets, Approximations],
     format = :html,
     assets = ["assets/juliareach.css"],

diff --git a/docs/make_doctests_only.jl b/docs/make_doctests_only.jl
@@ -4,5 +4,5 @@ makedocs(
     doctest = true,
     modules = Module[LazySets, Approximations],
     source = "src/lib",
-    strict = false
+    strict = true
 )
diff --git a/docs/src/lib/operations.md b/docs/src/lib/operations.md
@@ -115,6 +115,7 @@ isempty_known(::Intersection)
 set_isempty!(::Intersection, ::Bool)
 swap(::Intersection)
 use_precise_ρ
+_line_search
 _projection
 ```
 

diff --git a/src/LazySet.jl b/src/LazySet.jl
@@ -44,10 +44,10 @@ julia> subtypes(LazySet)
  ExponentialMap
  ExponentialProjectionMap
  HPolyhedron
+ HalfSpace
  Hyperplane
  Intersection
  IntersectionArray
- HalfSpace
  Line
  LinearMap
  MinkowskiSum