simplify dirnames
This commit is contained in:
parent
0db3200a4c
commit
fa2b218449
2
SL.jl
2
SL.jl
@ -116,7 +116,7 @@ function main()
|
|||||||
|
|
||||||
radius = parsed_args["radius"]
|
radius = parsed_args["radius"]
|
||||||
|
|
||||||
name = "$(name)_$iterations-$(string(upper_bound))-r=$radius"
|
name = "$(name)_$(upper_bound)_r=$radius"
|
||||||
|
|
||||||
logger = PropertyT.setup_logging(name)
|
logger = PropertyT.setup_logging(name)
|
||||||
|
|
||||||
|
@ -124,11 +124,12 @@ function main()
|
|||||||
end
|
end
|
||||||
|
|
||||||
radius = parsed_args["radius"]
|
radius = parsed_args["radius"]
|
||||||
dirname = "$(dirname)_r=$radius"
|
|
||||||
tol = parsed_args["tol"]
|
tol = parsed_args["tol"]
|
||||||
iterations = parsed_args["iterations"]
|
iterations = parsed_args["iterations"]
|
||||||
upper_bound = parsed_args["upper-bound"]
|
upper_bound = parsed_args["upper-bound"]
|
||||||
|
|
||||||
|
dirname = "$(dirname)_$(upper_bound)_r=$radius"
|
||||||
|
|
||||||
isdir(dirname) || mkdir(dirname)
|
isdir(dirname) || mkdir(dirname)
|
||||||
logger = PropertyT.setup_logging(dirname)
|
logger = PropertyT.setup_logging(dirname)
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user