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/absRef2.h | |
| 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/absRef2.h')
0 files changed, 0 insertions, 0 deletions