tacle / tacle-bench

TACLe Benchmarks
41 stars 38 forks source link

Parallel tools can not be compiled #5

Closed albertschulz closed 7 years ago

albertschulz commented 7 years ago

DEBIE and PapaBench can not be compiled with the "checkBenchmark.sh" script. I suppose that the script should be adjusted for those cases especially Kind Regards

schoeberl commented 7 years ago

We do not yet have an agreed environment/api/model for tasks/threads needed for the parallel benchmarks. Therefore, we cannot include DEBIE and PapaBench in the execution test.

However, DEBIE and PapaBench should compile and should also be usable as WCET analysis targets.

Sorry, Martin