riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

bug dans addbddassoc ....

This commit is contained in:
Ludovic Jacomme 2002-08-02 15:08:44 +00:00
parent 81109494a5
commit dd3382c5b3
3 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
alliance/src/bdd/src/bddassoc.c
View File

@ -101,7 +101,7 @@ bddassoc *addbddassoc( BddSystem )
AssocIdent = 0;
while ( ( ScanAssoc != (bddassoc *)0 ) &&
( ScanAssoc->IDENT > AssocIdent ) )
( ScanAssoc->IDENT >= AssocIdent ) )
{
if ( AssocIdent == BDD_MAX_SHORT )
{

4
alliance/src/bdd/src/bdderror.h
View File

@ -105,9 +105,9 @@
\------------------------------------------------------------*/
# define bdderror( E, V ) \
(bdd_error( (int)(E), (long)(V), basename(__FILE__), __LINE__ ))
(bdd_error( (int)(E), (long)(V), autbasename(__FILE__,NULL), __LINE__ ))
# define bddwarning( W, V1, V2 ) \
(bdd_warning( (int)(W), (long)(V1), (long)(V2), basename(__FILE__), __LINE__ ))
(bdd_warning( (int)(W), (long)(V1), (long)(V2), autbasename(__FILE__,NULL), __LINE__ ))
/*------------------------------------------------------------\
| |

6
alliance/src/bdd/src/bddtest.c
View File

@ -665,11 +665,13 @@ static void TestCommandViewAssoc( String )
BddAssoc = BddLocalSystem->ASSOC;
if ( BddAssoc != (bddassoc *)0 )
while ( BddAssoc != (bddassoc *)0 )
{
fprintf( stdout, "--> viewassoc\n" );
fprintf( stdout, "--> viewassoc %d\n", BddAssoc->IDENT );
viewbddassoc( (bddsystem *)0, BddAssoc, TestViewAssoc );
BddAssoc = BddAssoc->NEXT;
}
}