From e364647f91d5c40225dfcc20ef91ad93bb4fd873 Mon Sep 17 00:00:00 2001
From: Mahmoud Bentriou <mahmoud.bentriou@centralesupelec.fr>
Date: Mon, 8 Feb 2021 19:06:00 +0100
Subject: [PATCH] forgot delete a print
---
core/model.jl | 1 -
1 file changed, 1 deletion(-)
diff --git a/core/model.jl b/core/model.jl
index ea8ff92..4b33561 100644
--- a/core/model.jl
+++ b/core/model.jl
@@ -406,7 +406,6 @@ function smc_chernoff(sm::SynchronizedModel; approx::Float64 = 0.01, confidence:
@assert sm.automaton.name in ["F property", "G property", "G and F property"]
nbr_sim = log(2/(1-confidence)) / (2*approx^2)
nbr_sim = convert(Int, trunc(nbr_sim)+1)
- @show nbr_sim
return probability_var_value_lha(sm, nbr_sim)
end
--
GitLab