I would expect them to be the same. Couverture is a mild fork by AdaCore
focused on embedded targets and coverage. They periodically debase and
carefully apply patches. They are interested in those two targets. :)
Does pc386 look similar? Are there other qemu bsps?
I guess this means it is almost
Hi,
I'm testing Couverture-Qemu against the RSB-Qemu to check if it is
working correctly. So far I have good results for ARM bsps
xilinx_zynq_a9_qemu and realview_pbx_a9_qemu and Sparc Leon3. They
show identical results for the samples and almost identical results
for the full testsuite. They just
