Mentions légales du service

Skip to content
Snippets Groups Projects
Commit d17fb052 authored by GUILLEMOT Alexandre's avatar GUILLEMOT Alexandre
Browse files

hc.jl modif

parent c80a91e8
No related branches found
No related tags found
No related merge requests found
......@@ -29,11 +29,19 @@ println(stderr, "Certifying ...")
certificate = certify(sys, res, p1, show_progress = false)
println(stderr, "Writting to output ...")
fails = failed(res)
output = Dict{String, Any}()
output["time"] = stats.time
output["overheadtime"] = stats_overhead.time
output["failures"] = nfailed(res)
output["steplist"] = [steps(path) for path in path_results(res)]
# output["extendpreclist"] = [path.extended_precision_used for path in path_results(res)]
output["steplist"] = Union{Nothing, Int64}[steps(path) for path in path_results(res)]
for fail in fails
if !isnothing(path_number(fail))
output["steplist"][path_number(fail)] = nothing
else
throw(ArgumentError("Variable x is nothing!"))
end
end
output["extendpreclist"] = [path.extended_precision_used for path in path_results(res)]
output["ncertified"] = ndistinct_certified(certificate)
JSON.print(stdout, output)
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment