diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-05 21:43:11 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-05 21:43:11 -0700 |
commit | 6de48109f3271bcca4196b7691ce47f6b1d150a2 (patch) | |
tree | 78afb728af648f33310ba0557c506603b8b2fb75 /scripts/super_prove.sh | |
parent | 369b5f479ae28ed67b29ce524c58d2dee8733c7e (diff) | |
download | abc-6de48109f3271bcca4196b7691ce47f6b1d150a2.tar.gz abc-6de48109f3271bcca4196b7691ce47f6b1d150a2.tar.bz2 abc-6de48109f3271bcca4196b7691ce47f6b1d150a2.zip |
Allow for binary input file in 'testdec' and 'testnpn'.
Diffstat (limited to 'scripts/super_prove.sh')
0 files changed, 0 insertions, 0 deletions