Fix broken unit tests

[schillic]

EDIT: Does not close the issue #71.

[schillic]

I vote for activating the other unit tests in the builds. This will take a bit longer, but we will notice when problems are introduced.
Polyhedra tests are only available in v0.6 at the moment (that package is also needed for plotting), so I propose the following settings.

# old, unchanged
global test_suite_basic = true
global test_suite_doctests = VERSION >= v"0.7-" # only run doctests with new Julia version
# new
global test_suite_polyhedra = VERSION < v"0.7-" # only run doctests with old Julia version (for now)
global test_suite_plotting = VERSION < v"0.7-" # only run doctests with old Julia version (for now)

[mforets]

I vote for activating the other unit tests in the builds. This will take a bit longer, but we will notice when problems are introduced.

I agree too. Once Polyhedra tests pass in 0.7 too we can switch all default tests to true.

[schillic]

I had to undo the commit for strict doctests because Optim has many undocumented functions and for some reason Documenter complains about them (although we explicitly say
modules = Module[LazySets, Approximations]).

[mforets]

Does strict=true imply that if we have an undocumented function the build breaks? (If yes, i think that's "too strict".)

[schillic]

Does strict=true imply that if we have an undocumented function the build breaks? (If yes, i think that's "too strict".)

Unfortunately, that is the case (and there is no fine-tuning option ).

[mforets]

Now or later, the additional packages used for tests can be added in the REQUIRE file
https://github.com/JuliaReach/LazySets.jl/blob/master/test/REQUIRE

[mforets]

Unfortunately, that is the case (and there is no fine-tuning option ).

Alright. Documented here, i'd like strict=true but it doesn't break if checkdocs fails. But it seems like if strict=true then checkdocs option is ignored?

[mforets]

i suspect (but i'm not 100% sure) that the failure with the v1.0 is the new restriction of the package manager to refuse installing packages which are known not to work in > 0.7. the error message says

 Resolving package versions...
ERROR: Unsatisfiable requirements detected for package CDDLib [3391f64e]:
 CDDLib [3391f64e] log:
 ├─possible versions are: [0.0.1, 0.1.0-0.1.4, 0.2.0-0.2.3, 0.3.0-0.3.2] or uninstalled
 ├─restricted to versions 0.3.2-* by an explicit requirement, leaving only versions 0.3.2
 └─restricted by julia compatibility requirements to versions: uninstalled — no versions left

[mforets]

finally

let's temporarily allow failure in the 1.0 build until the issue with the dependency is fixed.

[schillic]

I would rather remove CDDLib/Polyhedra from the test/REQUIRE file because

1. we do not use these packages in the newer versions, and
2. for the v0.6 build we need to write the Pkg.add commands explicitly.