nickovic / rtamt

Specification-based real-time monitoring library
BSD 3-Clause "New" or "Revised" License
50 stars 20 forks source link

Rtamt4ros sync #159

Closed nickovic closed 2 years ago

nickovic commented 2 years ago

Adaptation of the library to work with rtamt4ros

codecov-commenter commented 2 years ago

Codecov Report

Merging #159 (cb7decd) into master (59a875d) will increase coverage by 0.15%. The diff coverage is 82.75%.

@@            Coverage Diff             @@
##           master     #159      +/-   ##
==========================================
+ Coverage   73.50%   73.66%   +0.15%     
==========================================
  Files         160      160              
  Lines       10301    10362      +61     
==========================================
+ Hits         7572     7633      +61     
  Misses       2729     2729              
Flag Coverage Δ
unittests 73.66% <82.75%> (+0.15%) :arrow_up:

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
...semantics/stl/discrete_time/offline/ast_visitor.py 98.29% <0.00%> (-0.68%) :arrow_down:
...emantics/abstract_dense_time_online_interpreter.py 80.00% <50.00%> (-2.67%) :arrow_down:
...ntics/abstract_discrete_time_online_interpreter.py 94.73% <66.66%> (-1.56%) :arrow_down:
rtamt/spec/abstract_specification.py 75.56% <85.10%> (+6.25%) :arrow_up:
rtamt/__init__.py 100.00% <100.00%> (ø)
rtamt/semantics/discrete_time_interpreter.py 92.85% <100.00%> (+2.98%) :arrow_up:
rtamt/spec/stl/dense_time/specification.py 96.29% <100.00%> (ø)
rtamt/spec/stl/discrete_time/specification.py 87.09% <100.00%> (ø)
rtamt/syntax/ast/parser/abstract_ast_parser.py 84.21% <100.00%> (+1.25%) :arrow_up:
... and 1 more

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

nickovic commented 2 years ago

Changes reviewed and accepted