More strict solver context checking - Githubissues

CozySynthesizer / cozy

The collection synthesizer

https://cozy.uwplse.org

Apache License 2.0

209 stars 18 forks source link

More strict solver context checking #115

Open izgzhen opened 4 years ago

izgzhen commented 4 years ago

Related discussion: https://github.com/CozySynthesizer/cozy/pull/109#issuecomment-542810892

[ ] Stricter checking for "redundant" context variables https://github.com/CozySynthesizer/cozy/pull/109#discussion_r361256285
[ ] Explain why tests/random_assgnment.py works with empty context created by init_solver, and use a proper superset instead of an empty one