diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-02 22:40:18 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-02 22:40:18 -0700 |
commit | d1ffd8d703b04fb4753874f365fbe17074fe47c1 (patch) | |
tree | 152d2ff2bb078c6fd622b0c72b0437e1a7114044 /src/proof | |
parent | e6196fb4625d6c704ac5ab3bd13dabace587f790 (diff) | |
download | abc-d1ffd8d703b04fb4753874f365fbe17074fe47c1.tar.gz abc-d1ffd8d703b04fb4753874f365fbe17074fe47c1.tar.bz2 abc-d1ffd8d703b04fb4753874f365fbe17074fe47c1.zip |
Added command 'starter' to call ABC concurrently.
Diffstat (limited to 'src/proof')
0 files changed, 0 insertions, 0 deletions