BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.
https://scenic-lang.org/
Other
256 stars 91 forks source link

Minor Misc Fixes #279

Closed Eric-Vin closed 3 weeks ago

Eric-Vin commented 4 weeks ago

Description

Adjusts a pruning test to be less difficult and fixes a Webots example to account for a change to the localPath function.

Issue Link

https://github.com/BerkeleyLearnVerify/Scenic/issues/261

Checklist

Additional Notes

N/A

codecov[bot] commented 4 weeks ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 91.30%. Comparing base (7126916) to head (ceb9c1a).

Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/279/graphs/tree.svg?width=650&height=150&src=pr&token=HN3J4Y6F89&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify)](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/279?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify) ```diff @@ Coverage Diff @@ ## main #279 +/- ## ========================================== + Coverage 91.27% 91.30% +0.02% ========================================== Files 54 54 Lines 13513 13520 +7 ========================================== + Hits 12334 12344 +10 + Misses 1179 1176 -3 ``` [see 5 files with indirect coverage changes](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/279/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify)