Commit f7ac4efa authored by Bentriou Mahmoud's avatar Bentriou Mahmoud

small rewrite of euclidean distance automata benchmarks

parent 4c4abbfa
......@@ -16,8 +16,14 @@ set_time_bound!(repressilator, tb)
y_obs = vectorize(simulate(repressilator), :P1, tml_obs)
println("Vectorize:")
b_vectorize = @benchmark (σ = simulate($(repressilator)); euclidean_distance(σ, :P1, tml_obs, y_obs))
@btime (σ = simulate($(repressilator)); euclidean_distance(σ, :P1, tml_obs, y_obs))
b_vectorize = @benchmark begin
σ = simulate($(repressilator))
euclidean_distance(σ, :P1, tml_obs, y_obs)
end
@btime begin
σ = simulate($(repressilator))
euclidean_distance(σ, :P1, tml_obs, y_obs)
end
@show minimum(b_vectorize), mean(b_vectorize), maximum(b_vectorize)
println("Automaton with 1 loc")
......
......@@ -29,10 +29,11 @@ b_vol_sim_aut1 = @benchmark (σ = volatile_simulate($(sync1)))
@btime (σ = volatile_simulate($(sync1)))
@show minimum(b_vol_sim_aut1), mean(b_vol_sim_aut1), maximum(b_vol_sim_aut1)
#=
println("Memory test")
Profile.clear_malloc_data()
σ = volatile_simulate(sync1)
exit()
=#
println("Automaton with nbr_obs loc")
aut2 = create_euclidean_distance_automaton_2(SIR, tml_obs, y_obs, :I)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment