search

hbgit / depthk

K-Induction adopting program invariants
GNU General Public License v2.0
8 stars 1 forks source link

updated #8

Closed ghost closed 5 years ago

ghost commented 6 years ago

The same version used on SV-Comp competition

lucasccordeiro commented 5 years ago

@omaralhawi: One final comment before I merge this PR. May I ask you to update your git commit messages by something more meaningful? For instance, the message "modified" does not say much about the commit.

lucasccordeiro commented 5 years ago

@omaralhawi: Is there some specific reason to close this PR?