diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-12 13:59:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-12 13:59:30 -0700 |
| commit | ea7d10d45da5f6c60ddd4a250ecd93991d31426b (patch) | |
| tree | ecc03a8fddcb196b454acfec68e5890c8989b7c3 /src/sat/bmc/bmcExpand.c | |
| parent | 9e4d24aa5d354eafee0d4832c6d1949afe5b8ac4 (diff) | |
| download | abc-ea7d10d45da5f6c60ddd4a250ecd93991d31426b.tar.gz abc-ea7d10d45da5f6c60ddd4a250ecd93991d31426b.tar.bz2 abc-ea7d10d45da5f6c60ddd4a250ecd93991d31426b.zip | |
Adding 'read_pla -d' to read dc-set along with on-set (useful to derive offset).
Diffstat (limited to 'src/sat/bmc/bmcExpand.c')
0 files changed, 0 insertions, 0 deletions