AGORA invariants, without introducing a new variable to check for "always empty" - Githubissues

codespecs / daikon

Dynamic detection of likely invariants

http://plse.cs.washington.edu/daikon/

Other

214 stars 54 forks source link

AGORA invariants, without introducing a new variable to check for "always empty" #555

Open mernst opened 2 months ago