quantify_consts decapture fix

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 17 forks source link

Closed JakeSilverman closed 2 years ago

JakeSilverman commented 2 years ago

allows quantify_consts functions to take in formulae with free variable as input