fix computing enclosing cones

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 17 forks source link

Closed happypig95 closed 2 years ago

happypig95 commented 2 years ago

Fix a bug in computing enclosing cones that added all polys>=0 as polys=0 in ther iteration.