BerkeleyLearnVerify / Scenic

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

fix: Updating Webots road examples #268

Open abanuelo opened 1 month ago

abanuelo commented 1 month ago

Description

This PR introduces:

Issue Link

262

Checklist

Additional Notes

codecov[bot] commented 1 month ago

Codecov Report

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

Project coverage is 91.17%. Comparing base (6f37d6c) to head (f5d06a4).

Additional details and impacted files [![Impacted file tree graph](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/268/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/268?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify) ```diff @@ Coverage Diff @@ ## main #268 +/- ## ========================================== - Coverage 91.17% 91.17% -0.01% ========================================== Files 54 54 Lines 13491 13493 +2 ========================================== + Hits 12301 12302 +1 - Misses 1190 1191 +1 ``` [see 6 files with indirect coverage changes](https://app.codecov.io/gh/BerkeleyLearnVerify/Scenic/pull/268/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=BerkeleyLearnVerify)