Error in STL_Formula/STL_EvalThom>GetValues (line 194)
[time_values, valarray] = RobustAnd(time_values1, valarray1, time_values2, valarray2);
Error in STL_Formula/STL_EvalThom>GetValues (line 252)
[valarray, time_values] = GetValues(Sys, phi.phi, P, traj, next_interval);
Error in STL_Formula/STL_EvalThom (line 96)
[val, time_values] = GetValues(Sys_, phi_, Pii, traj, interval);
Error in STL_Formula/STL_Eval (line 93)
[val, tau] = STL_EvalThom(Sys, phi, P, trajs, varargin{1});
Error in SEvalProp (line 164)
[props_values(i_pt).val, props_values(i_pt).tau] = STL_Eval(Sys, phi, Ptmp, traj_tmp, taus{np}, method);
Error in BreachSystem/CheckSpec (line 347)
[this.P, val] = SEvalProp(this.Sys,this.P,spec, t_spec);
Error in MyOwnProject/calRob (line 134)
rob = Br.CheckSpec(phi);

Error in STL_Formula/STL_EvalThom>GetValues (line 194)
[time_values, valarray] = RobustAnd(time_values1, valarray1, time_values2, valarray2);
Error in STL_Formula/STL_EvalThom>GetValues (line 252)
[valarray, time_values] = GetValues(Sys, phi.phi, P, traj, next_interval);
Error in STL_Formula/STL_EvalThom (line 96)
[val, time_values] = GetValues(Sys_, phi_, Pii, traj, interval);
Error in STL_Formula/STL_Eval (line 93)
[val, tau] = STL_EvalThom(Sys, phi, P, trajs, varargin{1});
Error in SEvalProp (line 164)
[props_values(i_pt).val, props_values(i_pt).tau] = STL_Eval(Sys, phi, Ptmp, traj_tmp, taus{np}, method);
Error in BreachSystem/CheckSpec (line 347)
[this.P, val] = SEvalProp(this.Sys,this.P,spec, t_spec);
Error in MyOwnProject/calRob (line 134)
rob = Br.CheckSpec(phi);