is_always_bounded_sir.jl 174 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13

using MarkovProcesses

test = true
load_model("SIR")
SIR.time_bound = 120.0
for i = 1:1000
    σ = simulate(SIR)
    global test = test && is_bounded(σ)
end

return test