Merge pull request #58 from jl777/jl777

Jl777
This commit is contained in:
blackjok3rtt
2019-04-12 15:38:08 +08:00
committed by GitHub
2 changed files with 6 additions and 4 deletions

View File

@@ -39,11 +39,12 @@ static int cmpCostDesc(const void *a, const void *b)
{
int retval;
retval = (int) ( *(unsigned long*)b - *(unsigned long*)a );
//if ( retval != 0 )
return(retval);
/*if ( retval != 0 )
return(retval);
else if ( (uint64_t)a < (uint64_t)b ) // jl777 prevent nondeterminism
return(-1);
else return(1);
else return(1);*/
}

View File

@@ -78,11 +78,12 @@ int compu32(const void *pa, const void *pb) {
int32_t retval;
u32 a = *(u32 *)pa, b = *(u32 *)pb;
retval = a<b ? -1 : a==b ? 0 : +1;
//if ( retval != 0 )
return(retval);
/* if ( retval != 0 )
return(retval);
else if ( (uint64_t)pa < (uint64_t)pb ) // jl777 prevent nondeterminism
return(-1);
else return(1);
else return(1);*/
}
bool duped(proof prf) {