deepstate
deepstate copied to clipboard
Test harness generation should support compilation databases
Compiling converted-over harnesses that intake a lot of dependencies and may already be apart of a complicated build system does not work entirely well with --compile_test, as it only provides a primitive interface that works with linked libraries. We should one or both of the following:
- Modify our "simple" test compilation routine to work with a minimal set of compiler arguments
- Introduce a more complex routine that intake JSON compilation databases. These can be generated from
cmakeor a tool like Bear, and can come in handy if building tests are apart of the build system, hence generating compiler commands we can modify and re-execute as part of the executor workflow