fixed issue of computing star twice

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 17 forks source link

Open JakeSilverman opened 1 year ago

JakeSilverman commented 1 year ago

Retain output of star operation on self loops when computing reduced graph