feat: adding webots dynamic scenario tests#231

Merged

lola831 merged 15 commits intomainfrom abanuelo/add-webots-dynamic-scenario-tests

Dec 20, 2024

+207-1

Commits on Apr 9, 2024

feat: adding webots dynamic simulation, tbd tested
Armando Bañuelos
committed
feat: Adding functional webots tests
Ubuntu
committed
fix: reformatting with black and isort and deleting unnecessary files

Armando Banuelos
authored and
Armando Banuelos
committed

Commits on Apr 11, 2024

fix: improving code coverage

Armando Banuelos
authored and
Armando Banuelos
committed
fix: black formatting test_webots.py

Armando Banuelos
authored and
Armando Banuelos
committed
Merge branch 'main' of github.com:BerkeleyLearnVerify/Scenic into abanuelo/add-webots-dynamic-scenario-tests

Armando Banuelos
authored and
Armando Banuelos
committed
Adding codecov yml updates from main branch

Armando Banuelos
authored and
Armando Banuelos
committed
fix: also including tests directory to ignore for coverage, not relevant

Armando Banuelos
authored and
Armando Banuelos
committed

Commits on Apr 12, 2024

fix: adding checks for environment variables

Armando Banuelos
authored and
Armando Banuelos
committed
fix: adjusting fixture call
Ubuntu
committed

Commits on Apr 15, 2024

fix: adding webots extension

Armando Banuelos
authored and
Armando Banuelos
committed
fix: adding batch option to avoid popups

Armando Banuelos
authored and
Armando Banuelos
committed
Merge branch 'abanuelo/add-webots-dynamic-scenario-tests' of github.com:BerkeleyLearnVerify/Scenic into abanuelo/add-webots-dynamic-scenario-tests

Armando Banuelos
authored and
Armando Banuelos
committed

Commits on Jun 28, 2024

fix: resolving merge conflicts
abanuelo
committed

Commits on Dec 20, 2024

Add timeout to Webots dynamic test
lola831
authored