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

Run CI both with/without optional dependencies #170

Closed dfremont closed 1 year ago

dfremont commented 1 year ago

Also fixes a bug introduced in #165 which causes the test suite to fail when dill isn't installed.