kalmar/GroupsWithPropertyT
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

update for enh/rework-logging of PropertyT

Browse Source
This commit is contained in:
kalmarek 2018-01-04 22:09:13 +01:00
parent cb16c78690
commit 76ff889366
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Orbit.jl
View File

@ -47,7 +47,7 @@ function main(GROUP, parsed_args)
# solver = SDPA.SDPASolver(epsilonStar=tol, epsilonDash=tol) # solver = SDPA.SDPASolver(epsilonStar=tol, epsilonDash=tol)
sett = Settings(name, N, G, S, autS, radius, solver, upper_bound, tol, warm) sett = Settings(name, N, G, S, autS, radius, solver, upper_bound, tol, warm, logger)
PropertyT.check_property_T(sett) PropertyT.check_property_T(sett)
end end