Assertions
This section of the manual describes the Assertions module.
ReachabilityBase.Assertions — ModuleAssertionsThis module provides a quick way to deactivate and reactivate Julia's @assert checks. This can be useful for performance-critical runs.
Notes
The implementation is based on the idea from here.
ReachabilityBase.Assertions.activate_assertions — Functionactivate_assertions(m::Module)Activate @assert checks for the given module.
Input
m– module
ReachabilityBase.Assertions.deactivate_assertions — Functiondeactivate_assertions(m::Module)Deactivate @assert checks for the given module.
Input
m– module