Commit 90552653 by Alan Mishchenko

Bug fix in &fraig -L <num>.

parent 99a917ca
......@@ -23,6 +23,9 @@ src/aig/ddb/
src/base/abc2/
src/base/abc2d/
src/base/pcm/
src/base/ply/
*~
*.orig
......
......@@ -737,94 +737,10 @@ SOURCE=.\src\base\test\test.c
# Begin Group "pcm"
# PROP Default_Filter ""
# Begin Source File
SOURCE=.\src\base\pcm\pcmCore.c
# End Source File
# Begin Source File
SOURCE=.\src\base\pcm\pcmCut.c
# End Source File
# Begin Source File
SOURCE=.\src\base\pcm\pcmInt.h
# End Source File
# Begin Source File
SOURCE=.\src\base\pcm\pcmMan.c
# End Source File
# Begin Source File
SOURCE=.\src\base\pcm\pcmMap.c
# End Source File
# Begin Source File
SOURCE=.\src\base\pcm\pcmReduce.c
# End Source File
# Begin Source File
SOURCE=.\src\base\pcm\pcmTime.c
# End Source File
# Begin Source File
SOURCE=.\src\base\pcm\pcmTruth.c
# End Source File
# Begin Source File
SOURCE=.\src\base\pcm\pcmUtil.c
# End Source File
# End Group
# Begin Group "ply"
# PROP Default_Filter ""
# Begin Source File
SOURCE=.\src\base\ply\ply.h
# End Source File
# Begin Source File
SOURCE=.\src\base\ply\plyAbc.c
# End Source File
# Begin Source File
SOURCE=.\src\base\ply\plyAig.c
# End Source File
# Begin Source File
SOURCE=.\src\base\ply\plyFake.c
# End Source File
# Begin Source File
SOURCE=.\src\base\ply\plyInt.h
# End Source File
# Begin Source File
SOURCE=.\src\base\ply\plyIter.c
# End Source File
# Begin Source File
SOURCE=.\src\base\ply\plyLib.c
# End Source File
# Begin Source File
SOURCE=.\src\base\ply\plyMan.c
# End Source File
# Begin Source File
SOURCE=.\src\base\ply\plyMap.c
# End Source File
# Begin Source File
SOURCE=.\src\base\ply\plyNtk.c
# End Source File
# Begin Source File
SOURCE=.\src\base\ply\plyPair.c
# End Source File
# Begin Source File
SOURCE=.\src\base\ply\plyPar.c
# End Source File
# End Group
# End Group
# Begin Group "bdd"
......
......@@ -10603,7 +10603,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
// Nf_ManPrepareLibraryTest();
// return 0;
}
/*
if ( pNtk )
{
// extern Abc_Ntk_t * Abc_NtkBarBufsOnOffTest( Abc_Ntk_t * pNtk );
......@@ -10622,7 +10622,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
}
Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes );
}
*/
return 0;
usage:
Abc_Print( -2, "usage: test [-CKDNM] [-aovwh] <file_name>\n" );
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment