From 5e543ec700503563f5ae6a68f3130d0d00df6deb Mon Sep 17 00:00:00 2001
From: Armando Banuelos <abanuelo@Armandos-MacBook-Pro.local>
Date: Thu, 9 May 2024 15:04:12 -0700
Subject: [PATCH 1/3] fix: Adding modifications to codecov.yml

---
 codecov.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/codecov.yml b/codecov.yml
index fd88927cf..eb91a7567 100644
--- a/codecov.yml
+++ b/codecov.yml
@@ -17,6 +17,7 @@ codecov:
   require_ci_to_pass: true
   ignore:
     - "src/scenic/simulators/**"
+    - "tests/**"
     - "!src/scenic/simulators/newtonian/**"
     - "!src/scenic/simulators/utils/**"
 cli:

From 41f8ec0972f85ae8b3e71c2259ed08d39ebe57d8 Mon Sep 17 00:00:00 2001
From: Armando Banuelos <abanuelo@Armandos-MBP.lan>
Date: Mon, 13 May 2024 13:28:07 -0700
Subject: [PATCH 2/3] chore: Adding note on supported Webots version

---
 docs/simulators.rst | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/simulators.rst b/docs/simulators.rst
index fd0215b81..3e5e1135d 100644
--- a/docs/simulators.rst
+++ b/docs/simulators.rst
@@ -94,6 +94,8 @@ We have several interfaces to the `Webots robotics simulator <https://cyberbotic
 Our main interface provides a generic world model that can be used with any Webots world and supports dynamic scenarios.
 See the :file:`examples/webots` folder for example Scenic scenarios and Webots worlds using this interface, and `scenic.simulators.webots` for documentation.
 
+Scenic currently interfaces with Webots versions greater than 2023a.
+
 Scenic also includes more specialized world models for use with Webots:
 
 	* A general model for traffic scenarios, used in `our VerifAI paper`_.

From 4764f0b120d4b6e7878e9bc6f4f5eef3a885480c Mon Sep 17 00:00:00 2001
From: Armando Banuelos <abanuelo@Armandos-MBP.lan>
Date: Mon, 13 May 2024 13:29:15 -0700
Subject: [PATCH 3/3] fix: update language

---
 docs/simulators.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/simulators.rst b/docs/simulators.rst
index 3e5e1135d..f03d6d476 100644
--- a/docs/simulators.rst
+++ b/docs/simulators.rst
@@ -94,7 +94,7 @@ We have several interfaces to the `Webots robotics simulator <https://cyberbotic
 Our main interface provides a generic world model that can be used with any Webots world and supports dynamic scenarios.
 See the :file:`examples/webots` folder for example Scenic scenarios and Webots worlds using this interface, and `scenic.simulators.webots` for documentation.
 
-Scenic currently interfaces with Webots versions greater than 2023a.
+Scenic currently interfaces with Webots versions greater than or equal to 2023a.
 
 Scenic also includes more specialized world models for use with Webots: