Closed Eric-Vin closed 1 month ago
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 91.27%. Comparing base (
d7679fb
) to head (2759488
). Report is 7 commits behind head on main.
Went ahead and made the change. Please go ahead and take a final look and merge when you get the chance!
Description
Improves heuristic sampling functionality in the veneer. Now everything should raise RejectionException, which is converted to an InvalidScenarioError at a higher level if appropriate.
Issue Link
https://github.com/BerkeleyLearnVerify/Scenic/issues/256
Checklist
pytest
and/or other meansAdditional Notes