Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use strict doctests again #878

Merged
merged 4 commits into from
Nov 4, 2018
Merged

Use strict doctests again #878

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
702dc6c
move HalfSpace position in doctest
schillic Nov 3, 2018
bd3274e
reactivate strict doctests for testing
schillic Nov 3, 2018
7f4e706
deactivate doctests when building the main documentation
schillic Nov 3, 2018
415d323
add method to docs
schillic Nov 3, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion docs/make.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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"],
Expand Down
2 changes: 1 addition & 1 deletion docs/make_doctests_only.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,5 +4,5 @@ makedocs(
doctest = true,
modules = Module[LazySets, Approximations],
source = "src/lib",
strict = false
strict = true
)
1 change: 1 addition & 0 deletions docs/src/lib/operations.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -115,6 +115,7 @@ isempty_known(::Intersection)
set_isempty!(::Intersection, ::Bool)
swap(::Intersection)
use_precise_ρ
_line_search
_projection
```

Expand Down
2 changes: 1 addition & 1 deletion src/LazySet.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,10 +44,10 @@ julia> subtypes(LazySet)
ExponentialMap
ExponentialProjectionMap
HPolyhedron
HalfSpace
Hyperplane
Intersection
IntersectionArray
HalfSpace
Line
LinearMap
MinkowskiSum
Expand Down