From 32244b7f5b3826ebbca0f70953eef3a639e22706 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Wed, 11 Aug 2010 01:27:26 +0000 Subject: [PATCH] Print out a not yet supported error. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@980 e59a4935-1847-0410-ae03-e826735625c1 --- src/to-sat/AIG/ToSATAIG.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/to-sat/AIG/ToSATAIG.cpp b/src/to-sat/AIG/ToSATAIG.cpp index 801f993..d79fe27 100644 --- a/src/to-sat/AIG/ToSATAIG.cpp +++ b/src/to-sat/AIG/ToSATAIG.cpp @@ -73,6 +73,9 @@ namespace BEEV if (bm->UserFlags.output_CNF_flag) Cnf_DataWriteIntoFile(cnfData, "output_0.cnf", 0); + if (bm->UserFlags.output_bench_flag) + cerr << "Converting to CNF via ABC's AIG package can't yet print out bench format" << endl; + Cnf_ClearMemory(); Cnf_DataFree(cnfData); -- 2.47.3