VerifAI Dynamic Sampling Compatibility

[Eric-Vin]

Description

Adds compatibility with VerifAI dynamic sampling.

Issue Link

N/A

Checklist

• I have tested the changes locally via pytest and/or other means
• I have added or updated relevant documentation
• I have autoformatted the code with black and isort
• I have added test cases (if applicable)

Additional Notes

Merge with BerkeleyLearnVerify/VerifAI#58

[dfremont]

Looks fine overall, although I'm not sure what prompted the introduction of extractOutput -- maybe we can talk offline.

[dfremont]

I think this reference will work if you add VerifAI to Intersphinx (see intersphinx_mapping in docs/conf.py).

[dfremont]

I'm just going to make this not be a link for the moment and we can improve it later.

[dfremont]

Looking good -- just a last few minor suggestions.

[dfremont]

Let's merge this as-is and we can come back to the last two minor comments later.

[codecov]

Codecov Report

❌ Patch coverage is 53.73134% with 31 lines in your changes missing coverage. Please review.
✅ Project coverage is 89.56%. Comparing base (e17e6a4) to head (2b1573f).
⚠️ Report is 55 commits behind head on main.

Files with missing lines	Patch %	Lines
src/scenic/core/external_params.py	53.73%	31 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #417      +/-   ##
==========================================
- Coverage   89.90%   89.56%   -0.34%     
==========================================
  Files          54       48       -6     
  Lines       13536    13283     -253     
==========================================
- Hits        12169    11897     -272     
- Misses       1367     1386      +19     

Files with missing lines	Coverage Δ
src/scenic/syntax/veneer.py	89.69% <ø> (-0.08%)	⬇️
src/scenic/core/external_params.py	77.31% <53.73%> (-12.34%)	⬇️

... and 52 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[dfremont]

Thanks for the fixes, Eric! This is looking good -- we can revisit the coverage issue once the new version of VerifAI is out.