search

BerkeleyLearnVerify / Scenic

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

Added Require Monitor Error #210

Closed Eric-Vin closed 6 months ago

Eric-Vin commented 6 months ago

Added error when "require MONITOR" is used instead of "require monitor MONITOR", since I imagine this will be a common error that is nasty to debug.