diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-12-29 14:39:25 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-12-29 14:39:25 +0700 |
| commit | 737e4671cea12f58332c44d65fe8bc28b2537617 (patch) | |
| tree | 8ae72833e90becdeabbabe0201dc2f182ee1e46f /src/base/io | |
| parent | 15a356fa4dd1dddd6a42702f0431fe0aa773516d (diff) | |
| download | abc-737e4671cea12f58332c44d65fe8bc28b2537617.tar.gz abc-737e4671cea12f58332c44d65fe8bc28b2537617.tar.bz2 abc-737e4671cea12f58332c44d65fe8bc28b2537617.zip | |
Adding check for the presence of precomputed data.
Diffstat (limited to 'src/base/io')
| -rw-r--r-- | src/base/io/io.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index fa97ea1e..ff09686b 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -2063,6 +2063,11 @@ int IoCommandWriteCnf2( Abc_Frame_t * pAbc, int argc, char **argv ) Abc_Print( -1, "IoCommandWriteCnf2(): Works only for combinational miters.\n" ); return 0; } + if ( !Sdm_ManCanRead() ) + { + Abc_Print( -1, "IoCommandWriteCnf2(): Cannot input precomputed DSD information.\n" ); + return 0; + } if ( argc != globalUtilOptind + 1 ) goto usage; // get the input file name |