search

MyersResearchGroup / ATACS

Apache License 2.0
9 stars 1 forks source link

verifier does not detect short circuits #49

Open buggsley opened 8 years ago

buggsley commented 8 years ago

see half.acc and half.g