diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-08 17:09:20 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-08 17:09:20 -0800 |
| commit | 4b0c12eb1e03ac863d09efc643d3253c4bfe3af4 (patch) | |
| tree | 731fe063dc54cc540b9378af1a8b0e4dd34ba385 /src/aig | |
| parent | c062cc18efa2118ae9b0dd71785259a63bd20b1e (diff) | |
| download | abc-4b0c12eb1e03ac863d09efc643d3253c4bfe3af4.tar.gz abc-4b0c12eb1e03ac863d09efc643d3253c4bfe3af4.tar.bz2 abc-4b0c12eb1e03ac863d09efc643d3253c4bfe3af4.zip | |
Changes to LUT mappers.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaTim.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaTim.c b/src/aig/gia/giaTim.c index ea5ec003..b1321685 100644 --- a/src/aig/gia/giaTim.c +++ b/src/aig/gia/giaTim.c @@ -135,14 +135,14 @@ Vec_Int_t * Gia_ManOrderWithBoxes( Gia_Man_t * p ) { int iCiNum = p->iData2; int iBoxNum = Tim_ManBoxFindFromCiNum( pManTime, iCiNum ); - printf( "Boxes are not in a topological order. The command has to terminate.\n" ); + printf( "The command has to terminate. Boxes are not in a topological order.\n" ); printf( "The following information may help debugging (numbers are 0-based):\n" ); printf( "Input %d of BoxA %d (1stCI = %d; 1stCO = %d) has TFI with CI %d,\n", k, i, Tim_ManBoxOutputFirst(pManTime, i), Tim_ManBoxInputFirst(pManTime, i), iCiNum ); printf( "which corresponds to output %d of BoxB %d (1stCI = %d; 1stCO = %d).\n", iCiNum - Tim_ManBoxOutputFirst(pManTime, iBoxNum), iBoxNum, Tim_ManBoxOutputFirst(pManTime, iBoxNum), Tim_ManBoxInputFirst(pManTime, iBoxNum) ); - printf( "In a correct topological order, BoxB should preceed BoxA.\n" ); + printf( "In a correct topological order, BoxB should precede BoxA.\n" ); Vec_IntFree( vNodes ); p->iData2 = 0; return NULL; |