Skip to content

Commit

Permalink
fix Array package source in tests
Browse files Browse the repository at this point in the history
  • Loading branch information
schillic committed Jun 1, 2024
1 parent 3366d66 commit 5a717e1
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion test/runtests.jl
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,8 @@ using Symbolics
# Non-exported helper functions
# ==============================
using LazySets: _leq, _geq, isapproxzero, _isapprox, _ztol, ispermutation, basetype
using LazySets.Arrays: isinvertible, inner, allequal, is_cyclic_permutation, SingleEntryVector
using ReachabilityBase.Arrays: isinvertible, inner, allequal, is_cyclic_permutation,
SingleEntryVector

global test_suite_basic = true
global test_suite_polyhedra = true
Expand Down

0 comments on commit 5a717e1

Please sign in to comment.