diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-25 13:47:38 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-25 13:47:38 -0700 |
| commit | 1d26d58a17226230b40601c3dc40ef4851827a2e (patch) | |
| tree | 847daf199197cc1f2f2f356458f579f60c8ebf9e /i10.aig | |
| parent | 58c81ec097d66abdd1ec77853cdcc95f842f12f2 (diff) | |
| download | abc-1d26d58a17226230b40601c3dc40ef4851827a2e.tar.gz abc-1d26d58a17226230b40601c3dc40ef4851827a2e.tar.bz2 abc-1d26d58a17226230b40601c3dc40ef4851827a2e.zip | |
Adding switch 'pdr -o' to control using property output in induction.
Diffstat (limited to 'i10.aig')
0 files changed, 0 insertions, 0 deletions