alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

[buddy] fix ARM compilation

Browse source 
* src/bddop.c, src/bddx.h, examples/bddtest/bddtest.cxx: Use signed
char* instead of char*.
This commit is contained in:
Alexandre Duret-Lutz 2019-09-24 16:56:39 +02:00
parent 2f2351a50f
commit a7e4cb4182
3 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
buddy/examples/bddtest/bddtest.cxx
View file

@ -8,7 +8,7 @@ static const int varnum = 5;
Example of allsat print handler.
**************************************************************************/
void allsatHandlerPrint(char* varset, int size)
void allsatHandlerPrint(signed char* varset, int size)
{
using namespace std ;
for (int v=0; v<size ; ++v)
@ -26,7 +26,7 @@ void allsatHandlerPrint(char* varset, int size)
static bdd allsatBDD;
static bdd allsatSumBDD;
void allsatHandler(char* varset, int size)
void allsatHandler(signed char* varset, int size)
{
bdd x = bddtrue;
for (int v=0 ; v<size ; ++v)