BerkeleyLearnVerify / VerifAI

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
BSD 3-Clause "New" or "Revised" License
170 stars 47 forks source link

Bug in Scenic example #14

Closed abol-karimi closed 2 years ago

abol-karimi commented 4 years ago

When I run examples/carla/scenic/scenic_sampler.py I get ModuleNotFoundError: No module named 'scenic.simulators.carla.road_model'

The file examples/carla/scenic/adjacentOpposingPair.sc uses from scenic.simulators.carla.road_model import * but it seems that road_model does not exist in Scenic anymore.

WhoAmI-kai commented 3 years ago

I also encountered the same problem. Have you solved it?

findaheng commented 2 years ago

The road_model was changed to just model. There is an updated example of this scenario in the main Scenic repository. I've also made a pull request to make this fix here as well.