diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fixed test predicates

Browse Source
This commit is contained in:
Fabrizio Riguzzi 2013-09-08 16:06:18 +02:00
parent b06e1f8bb0
commit cbf31fcd50
1 changed files with 28 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
packages/cplint/slipcase/bddem.c
View File

@ -168,33 +168,49 @@ static int init_test(void)
arg1=YAP_ARG1;
nRules=YAP_IntOfTerm(arg1);
mgr_ex[ex]=Cudd_Init(0,0,UNIQUE_SLOTS,CACHE_SLOTS,0);
ex=0;
mgr_ex=(DdManager **) malloc((ex+1)* sizeof(DdManager *));
mgr_ex[ex]=Cudd_Init(0,0,UNIQUE_SLOTS,CACHE_SLOTS,5120);
Cudd_AutodynEnable(mgr_ex[ex], CUDD_REORDER_GROUP_SIFT);
Cudd_SetMaxCacheHard(mgr_ex[ex], 1024*1024*1024);
Cudd_SetLooseUpTo(mgr_ex[ex], 1024*1024*512);
rules= (int *) malloc(nRules * sizeof(int));
Cudd_SetMaxCacheHard(mgr_ex[ex], 0);
Cudd_SetLooseUpTo(mgr_ex[ex], 0);
Cudd_SetMinHit(mgr_ex[ex], 15);
bVar2mVar_ex=(int **) malloc((ex+1)* sizeof(int *));
bVar2mVar_ex[ex]=NULL;
probs_ex[ex]=NULL;
vars_ex=(variable **) malloc((ex+1)* sizeof(variable *));
vars_ex[ex]=NULL;
nVars_ex=(int *) malloc((ex+1)* sizeof(int ));
nVars_ex[ex]=0;
probs_ex=(double **) malloc((ex+1)* sizeof(double *));
probs_ex[ex]=NULL;
boolVars_ex=(int *) malloc((ex+1)* sizeof(int ));
boolVars_ex[ex]=0;
rules= (int *) malloc(nRules * sizeof(int));
return 1;
}
static int end_test(void)
{
free(bVar2mVar_ex[ex]);
free(vars_ex[ex]);
free(nVars_ex+ex);
free(boolVars_ex+ex);
Cudd_Quit(mgr_ex[ex]);
free(probs_ex[ex]);
free(rules);
free(mgr_ex);
free(bVar2mVar_ex);
free(vars_ex);
free(probs_ex);
free(nVars_ex);
free(boolVars_ex);
return 1;
}