BerkeleyLearnVerify / Scenic

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

fix: adding seed under reproduce in bug report #225

Closed abanuelo closed 3 months ago

abanuelo commented 3 months ago

Description

As part of the bug report template, adding clarification of running scenic commands with a SEED to ensure reproducibility.

Issue Link

Adhoc request from @Eric-Vin

Checklist

Additional Notes

codecov[bot] commented 3 months ago

Codecov Report

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

Project coverage is 85.94%. Comparing base (d5a21fc) to head (b9810fb).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #225 +/- ## ========================================== + Coverage 85.89% 85.94% +0.05% ========================================== Files 144 144 Lines 24767 24767 ========================================== + Hits 21274 21287 +13 + Misses 3493 3480 -13 ```

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