BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.

Other

256 stars 91 forks source link

Description

This PR:

Updates the necessary *.scenic example files for the CARLA and driving domain manual control from strings to integers
Testing was done on a Linux machine to see if the files were still working.
Python comments were added informing users how to run said files.

Issue Link

As a result of testing and implementing these changes, two issues were open:

255

256

This PR intends to workaround the issues rather than provide a direct fix.

Checklist

[X] I have tested the changes locally via pytest and/or other means
[] I have added or updated relevant documentation
[ ] I have autoformatted the code with black and isort
[ ] I have added test cases (if applicable)

Additional Notes

Codecov Report

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

Project coverage is 86.23%. Comparing base (01af6b1) to head (f606883). Report is 8 commits behind head on main.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #257 +/- ## ========================================== + Coverage 86.16% 86.23% +0.06% ========================================== Files 144 144 Lines 25007 25124 +117 ========================================== + Hits 21547 21665 +118 + Misses 3460 3459 -1 ```