BerkeleyLearnVerify / Scenic

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

chore: Updating Webots examples #263

Open abanuelo opened 2 months ago

abanuelo commented 2 months ago

Description

This PR aims to clean up the examples/webots folder. Namely, more clarification was added to the README.md on how to run dynamic simulations in Webots.

Pending items: #262 some of the examples are a bit outdated so will wait to hear on the status of what to do with these examples next.

Issue Link

Related to #262

Checklist

Additional Notes

codecov[bot] commented 2 months ago

Codecov Report

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

Project coverage is 86.16%. Comparing base (308c351) to head (95ef877).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #263 +/- ## ========================================== - Coverage 86.19% 86.16% -0.03% ========================================== Files 144 144 Lines 25041 25046 +5 ========================================== - Hits 21583 21581 -2 - Misses 3458 3465 +7 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.