-
Notifications
You must be signed in to change notification settings - Fork 135
Open
Labels
status: triageIssue needs to be assessedIssue needs to be assessedtype: bugSomething isn't workingSomething isn't working
Description
System Details
- Python 3.13.7
- Scenic main branch
- macOS 15
Detailed Description
Running Scenic on the scenario below produces the following error:
Traceback (most recent call last; use -b to show Scenic internals):
File "/Users/dfremont/Documents/Berkeley/repositories/BerkeleyLearnVerify/Scenic/test.scenic", line 5, in <lambda>
require other.position.y > 1.5
^^^^^^^^^^^^^^^^^^^^^^
RandomControlFlowError: random values cannot be compared (and control flow cannot depend on them)
The above exception was the direct cause of the following exception:
Traceback (most recent call last; use -b to show Scenic internals):
File "/Library/Frameworks/Python.framework/Versions/3.13/lib/python3.13/contextlib.py", line 162, in __exit__
self.gen.throw(value)
~~~~~~~~~~~~~~^^^^^^^
RuntimeError: internal error: requirement dependency not sampled
I think this issue may have been reported to me a long time ago, since I found it in git stash, but I'm not sure.
Steps To Reproduce
scenario Main():
setup:
ego = new Object
other = new Object at (10, Range(1, 2))
require other.position.y > 1.5Issue Submission Checklist
- I am reporting an issue, not asking a question
- I checked the open and closed issues, forum, etc. and have not found any solution
- I have provided all necessary code, etc. to reproduce the issue
Metadata
Metadata
Assignees
Labels
status: triageIssue needs to be assessedIssue needs to be assessedtype: bugSomething isn't workingSomething isn't working