Promise2 issueshttps://gitlab.lip6.fr/hilaire/promise2/-/issues2020-04-22T16:11:25+02:00https://gitlab.lip6.fr/hilaire/promise2/-/issues/25deal with the initialization of arrays2020-04-22T16:11:25+02:00Thibault Hilairethibault.hilaire@lip6.frdeal with the initialization of arraysFor the moment, the initialization of arrays is not handled:
__PROMISE__ x[12]={1,2,3,4};
is transformed in
double_st x[12]={1,2,3,4};
when passed with the cadnaizer. We should check if it is correct or not (I don't think it is).
If not,...For the moment, the initialization of arrays is not handled:
__PROMISE__ x[12]={1,2,3,4};
is transformed in
double_st x[12]={1,2,3,4};
when passed with the cadnaizer. We should check if it is correct or not (I don't think it is).
If not, we need to transform this in
double temp_x[12]={1,2,3,4};
double_st x[12];
for(int i=0;i<12;i++) x[i]=temp_x[i];
This is more a cadnaizer problem than a Promise one, maybe...https://gitlab.lip6.fr/hilaire/promise2/-/issues/24remove unnecessary/unused lines of DD2020-04-22T16:11:29+02:00Thibault Hilairethibault.hilaire@lip6.frremove unnecessary/unused lines of DDit will increase the coverageit will increase the coverageThibault Hilairethibault.hilaire@lip6.frThibault Hilairethibault.hilaire@lip6.fr