mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-10-19 01:00:36 +02:00
Generating set is an ordinary Vector
This commit is contained in:
parent
0f3313b290
commit
04ecbb4a53
@ -149,7 +149,7 @@ function setup_logging(name::String)
|
|||||||
end
|
end
|
||||||
|
|
||||||
|
|
||||||
function check_property_T(name::String, generating_set::Function,
|
function check_property_T(name::String, generating_set,
|
||||||
solver, upper_bound, tol, radius)
|
solver, upper_bound, tol, radius)
|
||||||
|
|
||||||
if !isdir(name)
|
if !isdir(name)
|
||||||
|
Loading…
Reference in New Issue
Block a user