tacle / tacle-bench

TACLe Benchmarks
39 stars 38 forks source link

Remove stdlib-printfs #23

Closed noctux closed 3 years ago

noctux commented 3 years ago

ffdc3f5 introduced some counter variables as well as printf statements into the testcases fac, anagram, huff_enc and susan. However, neither of those testcases actually provide a printf implementation themselves, so instead the libc variant was linked and used. This happend within the designated analysis entrypoints, and was thus part of the benchmark. This breaks those benchmarks for sourcelevel WCET-analyzers, so I've removed those calls there.

Note: I've only tested the kernel and sequential benchmarks, it might be that similar things might still be found within the app or parallel benchmarks as well.

Please let me know in case you have any further questions.

waegemann commented 3 years ago

TACLeBench avoids the use of external libc functions.

schoeberl commented 3 years ago

+1