Integration tests for frontend
Original issue created by @PhilippWendler on 2016-12-20 at 05:54:15, last modified on 2016-12-20 at 05:54:15
As r23922 (5745303e) shows we need integration tests for our parser frontend that get executed regularly.
As configuration we could use -generateCFA
. The test should be executed on all *.i
and .c
files (the latter possibly with preprocessing) across our repository, the sv-benchmarks
repository, and the ldv-benchmarks
repository.
Contrary to what we have now, the test should fail as soon as there is a any single problem (crash, parser error, etc.). Known cases of C code that we cannot parse can be excluded in the benchmark definition (with a reference to a Trac ticket).