Minor Misc Fixes (#279)

* Modified pruning test. * Webots example fix and docs minor update. * Update tests/syntax/test_pruning.py Co-authored-by: Daniel Fremont <[email protected]> * Made path general. --------- Co-authored-by: Daniel Fremont <[email protected]>
BerkeleyLearnVerify · Jun 11, 2024 · 0c667bd · 0c667bd
1 parent 7126916
commit 0c667bd
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 5 deletions.
diff --git a/docs/reference/functions.rst b/docs/reference/functions.rst
@@ -70,6 +70,10 @@ localPath
 ---------
 The `localPath` function takes a relative path with respect to the directory containing the ``.scenic`` file where it is used, and converts it to an absolute path. Note that the path is returned as a `pathlib.Path` object.
 
+.. versionchanged:: 3.0
+
+    This function now returns a `pathlib.Path` object instead of a string.
+
 .. _verbosePrint_func:
 
 verbosePrint

diff --git a/examples/webots/city_intersection/city_intersection.scenic b/examples/webots/city_intersection/city_intersection.scenic
@@ -52,13 +52,13 @@ class LogImageAction(Action):
     def applyTo(self, obj, sim):
         print("Other Car Visible:", self.visible)
 
-        target_path = self.path + "/"
-        target_path += "visible" if self.visible else "invisible"
+        target_path = self.path
+        target_path /= "visible" if self.visible else "invisible"
 
         if not os.path.exists(target_path):
             os.makedirs(target_path)
 
-        target_path += "/" + str(self.count) + ".jpeg"
+        target_path /= f"{self.count}.jpeg"
 
         print("IMG Path:", target_path)
 

diff --git a/tests/syntax/test_pruning.py b/tests/syntax/test_pruning.py
@@ -55,14 +55,14 @@ def test_containment_2d_region():
 
     # Test both combined, in a slightly more complicated case.
     # Specifically, there is a non vertical component to baseOffset
-    # that should be accounted for and the height is random.
+    # that should be accounted for.
     scenario = compileScenic(
         """
         class TestObject:
             baseOffset: (0.1, 0, self.height/2)
 
         workspace = Workspace(PolygonalRegion([0@0, 2@0, 2@2, 0@2]))
-        ego = new TestObject on workspace, with height Range(0.1,0.5)
+        ego = new TestObject on workspace, with height 100
         """
     )
     # Sampling should fail ~30.56% of the time, so