kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-14 06:10:28 +01:00
Code Issues Releases Wiki Activity

move timed_msg

Browse Source
This commit is contained in:
kalmar 2017-06-04 20:34:12 +02:00
parent cd66f8d914
commit 6b20e37c74
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/PropertyT.jl
View File

@ -66,6 +66,15 @@ function ΔandSDPconstraints(name::String, generating_set::Function, radius::Int
end
end
function timed_msg(t)
elapsed = t[2]
bytes_alloc = t[3]
gc_time = t[4]
gc_diff = t[5]
return "took: $elapsed s, allocated: $bytes_alloc bytes ($(gc_diff.poolalloc) allocations)."
end
function λandP(name::String)
λ_fname, SDP_fname = λSDPfilenames(name)
f₁ = isfile(λ_fname)
@ -81,15 +90,6 @@ function λandP(name::String)
return λ, P
end
function timed_msg(t)
elapsed = t[2]
bytes_alloc = t[3]
gc_time = t[4]
gc_diff = t[5]
return "took: $elapsed s, allocated: $bytes_alloc bytes ($(gc_diff.poolalloc) allocations)."
end
function λandP(name::String, opts...)
try