
Go to the source code of this file.
Functions | |
| ABC_NAMESPACE_IMPL_START void | Abc_ColorTest () |
| DECLARATIONS ///. | |
| ABC_NAMESPACE_IMPL_START void Abc_ColorTest | ( | ) |
DECLARATIONS ///.
CFile****************************************************************
FileName [utilColor.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Handling counter-examples.]
Synopsis [Handling counter-examples.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - Feburary 13, 2011.]
Revision [
] FUNCTION DEFINITIONS /// Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 52 of file utilColor.c.