diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-25 12:35:05 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-25 12:35:05 -0500 |
| commit | 970200b932eb2999b57c8ab8348c4695c08eff6d (patch) | |
| tree | d94f67a12dd406232cbb539880a9f967b52cd34d /src/aig/gia | |
| parent | 3eae30a3c3f8799471821ec28f6bd993770f72d8 (diff) | |
| download | abc-970200b932eb2999b57c8ab8348c4695c08eff6d.tar.gz abc-970200b932eb2999b57c8ab8348c4695c08eff6d.tar.bz2 abc-970200b932eb2999b57c8ab8348c4695c08eff6d.zip | |
Made testcex reset the number of the PO that failed.
Diffstat (limited to 'src/aig/gia')
0 files changed, 0 insertions, 0 deletions