diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-16 00:26:18 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-16 00:26:18 -0700 |
commit | 5a4f1fe44c94ee48e707246898db1ac2d66231e9 (patch) | |
tree | 7ba98a541dde0696eb9b816a35ac8ff32369dc9c /src/proof/abs/absOldRef.c | |
parent | fdf5ad34339c3ca9bdcac8a409dea832469fc6da (diff) | |
download | abc-5a4f1fe44c94ee48e707246898db1ac2d66231e9.tar.gz abc-5a4f1fe44c94ee48e707246898db1ac2d66231e9.tar.bz2 abc-5a4f1fe44c94ee48e707246898db1ac2d66231e9.zip |
Made abstraction and PDR communicate in-memory rather than through a file.
Diffstat (limited to 'src/proof/abs/absOldRef.c')
0 files changed, 0 insertions, 0 deletions