Fix GTA assertion failure with time param just before midnight

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 GTA assertion failure with time param just before midnight #208

Closed dfremont closed 6 months ago

dfremont commented 6 months ago

Giving the GTA time global parameter a value which rounds to 1440 minutes (midnight) caused an assertion failure (this randomly happened to me when running the test suite). This PR takes time mod 1440 so that values greater than 1439.5 work as one would expect.