search

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

issue#1 fix #2

Closed TomyYamy closed 5 years ago

TomyYamy commented 5 years ago

I tried commit #227df6e but it was not enough. I find we need extra init.py in openai_gym and webots directory.

hadi88 commented 5 years ago

Yes, you're right! I have reported the same problem. We will fix this.

TomyYamy commented 5 years ago

You changed the status "fix". However I think we had better to remain open it until it is fixed on main.

shromonag commented 5 years ago

Thank you for including the init.py files. :)