diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-21 20:20:26 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-21 20:20:26 -0700 |
commit | 3c0a9e0862f982de942f70c1d6468a1d573fa06b (patch) | |
tree | d017c33ddbf616e8b543ce93d22d7643a3e499e8 /src/aig/gia/giaMan.c | |
parent | 675b0892a88a7332c8949e4fd4741ce56642fb5e (diff) | |
download | abc-3c0a9e0862f982de942f70c1d6468a1d573fa06b.tar.gz abc-3c0a9e0862f982de942f70c1d6468a1d573fa06b.tar.bz2 abc-3c0a9e0862f982de942f70c1d6468a1d573fa06b.zip |
Switch -A <file_name> to specify file name for dumping abstrated model with &vta -d.
Diffstat (limited to 'src/aig/gia/giaMan.c')
0 files changed, 0 insertions, 0 deletions