search

BerkeleyLearnVerify / Scenic

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

Carla example spawns on wrong lane #157

Closed axelbr closed 6 months ago

axelbr commented 1 year ago

The carla challenge example sometimes spawns the adversary in the wrong lane. I am wondering if this is a problem with the constraint or Scenic itself.

Eric-Vin commented 6 months ago

I'm having trouble reproducing this. If this is still an issue, could you file another issue with the new template which includes more information for troubleshooting? A random seed that causes this behavior would also be helpful.