juliareach / hscc2019_re Goto Github PK

julia> include("create_table_1.jl")
[ Info: Recompiling stale cache file /Users/forets/.julia/compiled/v1.1/Reachability/CHV4V.ji for Reachability [774a0091-654f-5c65-bbdc-ad5b67b45832]
[warn | Reachability]: Several option aliases were used for aliases Symbol[:check_invariant_intersection].
[warn | Reachability]: Several option aliases were used for aliases Symbol[:overapproximation].
[warn | Reachability]: Several option aliases were used for aliases Symbol[:lazy_R⋂I].
[warn | Reachability]: Several option aliases were used for aliases Symbol[:lazy_R⋂G].
[warn | Reachability]: Several option aliases were used for aliases Symbol[:lazy_A⌜R⋂G⌟⋂I].
warm-up runs
**********************************
C 2

ERROR: LoadError: MethodError: no method matching apply_assignment(::ConcreteDiscretePost, ::ConstrainedLinearDiscreteSystem{Float64,Array{Float64,2},HPolyhedron{Float64}}, ::HPol
ytope{Float64})
Closest candidates are:
  apply_assignment(::DiscretePost, ::ConstrainedResetMap, ::LazySet; kwargs...) at /Users/forets/.julia/dev/Reachability/src/ReachSets/DiscretePost/DiscretePost.jl:132
  apply_assignment(::ConcreteDiscretePost, ::ConstrainedLinearMap, ::LazySet; kwargs...) at /Users/forets/.julia/dev/Reachability/src/ReachSets/DiscretePost/ConcreteDiscretePost.j
l:152
  apply_assignment(::DiscretePost, ::AbstractMap, ::LazySet; kwargs...) at /Users/forets/.julia/dev/Reachability/src/ReachSets/DiscretePost/DiscretePost.jl:124
Stacktrace:
 [1] post(::ConcreteDiscretePost, ::HybridSystem{LightAutomaton{LightGraphs.SimpleGraphs.SimpleDiGraph{Int64},LightGraphs.SimpleGraphs.SimpleEdge{Int64}},ConstrainedLinearControlC
ontinuousSystem{Float64,Array{Float64,2},Array{Float64,2},HPolyhedron{Float64},LazySets.LinearMap{Float64,Singleton{Float64,Array{Float64,1}},Float64,Array{Float64,2}}},Constraine
dLinearDiscreteSystem{Float64,Array{Float64,2},HPolyhedron{Float64}},AutonomousSwitching}, ::Array{Tuple{Int64,ReachSet{LazySet{Float64},Float64},Int64},1}, ::Array{Array{ReachSet
{LazySet{Float64},Float64},1},1}, ::Int64, ::Array{ReachSet{LazySet{Float64},Float64},1}, ::Int64, ::Int64, ::Options) at /Users/forets/.julia/dev/Reachability/src/ReachSets/Discr
etePost/ConcreteDiscretePost.jl:127
 [2] solve!(::InitialValueProblem{HybridSystem{LightAutomaton{LightGraphs.SimpleGraphs.SimpleDiGraph{Int64},LightGraphs.SimpleGraphs.SimpleEdge{Int64}},ConstrainedLinearControlCon
tinuousSystem{Float64,Array{Float64,2},Array{Float64,2},HPolyhedron{Float64},LazySets.LinearMap{Float64,Singleton{Float64,Array{Float64,1}},Float64,Array{Float64,2}}},ConstrainedL
inearDiscreteSystem{Float64,Array{Float64,2},HPolyhedron{Float64}},AutonomousSwitching},Array{Tuple{Int64,Hyperrectangle{Float64}},1}}, ::Options, ::BFFPSV18, ::ConcreteDiscretePo
st) at /Users/forets/.julia/dev/Reachability/src/solve.jl:223
 [3] solve at /Users/forets/.julia/dev/Reachability/src/solve.jl:125 [inlined]
 [4] filtered_oscillator(::Int64, ::ConcreteDiscretePost, ::Float64) at /Users/forets/Projects/HSCC2019_RE/JuliaReach/FilteredOscillator.jl:107
 [5] macro expansion at /Users/forets/Projects/HSCC2019_RE/JuliaReach/create_table_1.jl:23 [inlined]
 [6] macro expansion at ./util.jl:156 [inlined]
 [7] run(::Int64, ::Array{Tuple{DiscretePost,String,Int64},1}, ::Bool, ::Nothing) at /Users/forets/Projects/HSCC2019_RE/JuliaReach/create_table_1.jl:22
 [8] warmup at /Users/forets/Projects/HSCC2019_RE/JuliaReach/create_table_1.jl:5 [inlined]
 [9] benchmark(::Bool) at /Users/forets/Projects/HSCC2019_RE/JuliaReach/create_table_1.jl:40
 [10] top-level scope at none:0
 [11] include at ./boot.jl:326 [inlined]
 [12] include_relative(::Module, ::String) at ./loading.jl:1038
 [13] include(::Module, ::String) at ./sysimg.jl:29
 [14] include(::String) at ./client.jl:403
 [15] top-level scope at none:0
in expression starting at /Users/forets/Projects/HSCC2019_RE/JuliaReach/create_table_1.jl:64