diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-06 11:52:00 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-06 11:52:00 +0700 |
commit | a2fcd0710d22d79ef238e1cb9ef328ce94fa5000 (patch) | |
tree | 65ed96ef1be0f68e6d172e85358f897e5eda24d5 /src/proof/cec | |
parent | e9a7ad68c4c2f2b95695875996e713f7ae708912 (diff) | |
download | abc-a2fcd0710d22d79ef238e1cb9ef328ce94fa5000.tar.gz abc-a2fcd0710d22d79ef238e1cb9ef328ce94fa5000.tar.bz2 abc-a2fcd0710d22d79ef238e1cb9ef328ce94fa5000.zip |
Creating file name from design name for PDR invariant.
Diffstat (limited to 'src/proof/cec')
0 files changed, 0 insertions, 0 deletions