I'm fighting for few weeks with Bullseye run for EFI (EDK II) system. I finally linked everything, compiled the code and everything seems to work (I used Bullseye tutorial for embedded system and this topic: Bullseye for EDK Based Application).
I ran the tests and received symbols for Bullseye COV file. According to the second link:
The output data can be redirected to a file (using the > directive inside EDK2 shell) and then be processed by covpost to be merged into the cov file created in the build process.
I redirected this output to file, but when trying to merge into the COV file I get the message:
Copyright (c) Bullseye Testing Technology 1990-2014
Exception: be_test: not a small footprint data file
Some ideas?
Thanks.