Skip to content

Instantly share code, notes, and snippets.

@mforets

mforets/testscript.jl

Last active March 2, 2020 23:35
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mforets/94b696c71a31ccee2f618ff488e3472e to your computer and use it in GitHub Desktop.
Save mforets/94b696c71a31ccee2f618ff488e3472e to your computer and use it in GitHub Desktop.
Download ZIP
lazysets minimal test script
Raw
testscript.jl
# paste this script on your .julia/dev/LazySets/test folder
using Revise, LazySets, Test
using LazySets: ispermutation
using LazySets.Arrays
using SparseArrays
using LinearAlgebra
using Polyhedra, CDDLib
using LazySets: dim, Interval, translate, volume, HalfSpace, project
test_suite_polyhedra = true
# add / comment unit tests here
include("unit_BallInf.jl")
include("unit_Polygon.jl")
include("unit_Polytope.jl")
include("unit_Polyhedron.jl")
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment