In SPEC-3483 we uploaded new wgt types to the download server:

The types are:

• normal wgt (= application binary)
• -debug wgt (= application binary with debug symbols)
• -test wgt (separate test driver calling the APIs)
• - coverage wgt (instrumented for code coverage / gcov)

For now - Phase 1 might be:

• have normal wgt installed (which is the default), then run the -test wgt with aft-test

For later - Phase 2 might be:

• remove the normal wgt but install the -coverage wgt
• now run the -test again an capture the trace
  • NOTE: we probably have an SMACK / file access issue here to solve
  • Likely does not work out of the box, yet.