Fix multiple compilation of driving scenario bug; minor improvements

BerkeleyLearnVerify / Scenic

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

https://scenic-lang.org/

Other

271 stars 93 forks source link

Fix multiple compilation of driving scenario bug; minor improvements #172

Closed dfremont closed 1 year ago

dfremont commented 1 year ago

Fixes a variant of the issue in #123 which wasn't fixed by that PR and came up in #168. (Plus another couple minor things I improved along the way.)

This bug was enabled by the fact that it's still possible to import a Scenic module from a Python module if that Python module was imported during the compilation of a Scenic module. Completely banning imports of Scenic modules from Python seems to be nontrivial, so I'll save that for another PR.

Eric-Vin commented 1 year ago

Restored the branch so that I can back-port it to 2.x.