diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-09 12:01:29 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-09 12:01:29 -0700 |
| commit | 22806448c1e700f260e6b8020280c792c502d265 (patch) | |
| tree | 769d9768393eda44a33b903f9acb26fd9695fbef /src/python | |
| parent | 7c7d5277553a2a3ae074a767ba870f77e2415e1c (diff) | |
| download | abc-22806448c1e700f260e6b8020280c792c502d265.tar.gz abc-22806448c1e700f260e6b8020280c792c502d265.tar.bz2 abc-22806448c1e700f260e6b8020280c792c502d265.zip | |
Adding comment about using 'dprove' for sequential synthesis.
Diffstat (limited to 'src/python')
0 files changed, 0 insertions, 0 deletions