<div dir="auto">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. :)<div dir="auto"><br></div><div dir="auto">Does pc386 look similar? Are there other qemu bsps?<br><div dir="auto"><br></div><div dir="auto">I guess this means it is almost time to look at switching the rsb </div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Jun 10, 2017 1:25 PM, "Cillian O'Donnell" <<a href="mailto:cpodonnell8@gmail.com">cpodonnell8@gmail.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
I'm testing Couverture-Qemu against the RSB-Qemu to check if it is<br>
working correctly. So far I have good results for ARM bsps<br>
xilinx_zynq_a9_qemu and realview_pbx_a9_qemu and Sparc Leon3. They<br>
show identical results for the samples and almost identical results<br>
for the full testsuite. They just need a slight change in qemu options<br>
to agree (results at the end).<br>
<br>
****************************<br>
        COMMON BSPS<br>
****************************<br>
<br>
ARM:<br>
    xilinx-zynq-a9<br>
    realview-pbx-a9<br>
    lm3s6965evb<br>
<br>
i386:<br>
    pc (default PC386)<br>
<br>
LM32:<br>
    lm32-evr (default)<br>
    milkymist<br>
<br>
MIPS:<br>
    malta (default)<br>
<br>
POWERPC:<br>
    prep<br>
<br>
SPARC:<br>
    leon3_generic<br>
<br>
<br>
I created <a href="http://bsp_qemu.mc" rel="noreferrer" target="_blank">bsp_qemu.mc</a> files for any missing bsps from RTEMS Tester.<br>
However the other bsps mostly timeout, this is true for Qemu and<br>
Couverture-qemu so they are reacting the same way. Exceptions are<br>
PC386 runs on Couverture-qemu but not on regular Qemu. I haven't been<br>
able to find the right qemu options to get rid of the timeouts and the<br>
--report-mode=all feature of rtems-test doesn't turn up any other info<br>
as to why except for powerpc/qemuprep.<br>
<br>
So are the following results enough to verify Couverture-qemu or<br>
should I keep going trying to get the others to work too before doing<br>
the RSB support?<br>
<br>
***********************<br>
        Leon 3<br>
***********************<br>
<br>
qemu-system-sparc -no-reboot -monitor null -serial stdio -nographic<br>
-net none -M leon3_generic -kernel...<br>
<br>
--------------------------<br>
<br>
    COUVERTURE-QEMU<br>
<br>
--------------------------<br>
<br>
---------------<br>
    SAMPLES<br>
---------------<br>
<br>
<br>
Passed:        11<br>
Failed:         0<br>
User Input:     1<br>
Expected Fail:  0<br>
Indeterminate:  0<br>
Benchmark:      0<br>
Timeout:        0<br>
Invalid:        1<br>
Total:         13<br>
Average test time: 0:00:03.679456<br>
Testing time     : 0:00:47.832933<br>
<br>
-------------<br>
    FULL<br>
-------------<br>
<br>
Passed:        543<br>
Failed:          3<br>
User Input:      4<br>
Expected Fail:   0<br>
Indeterminate:   0<br>
Benchmark:       3<br>
Timeout:         9<br>
Invalid:         3<br>
Total:         565<br>
Average test time: 0:00:01.693401<br>
Testing time     : 0:15:56.771872<br>
<br>
---------------------------<br>
<br>
        RSB-QEMU<br>
<br>
---------------------------<br>
<br>
---------------<br>
    SAMPLES<br>
---------------<br>
<br>
<br>
Passed:        11<br>
Failed:         0<br>
User Input:     1<br>
Expected Fail:  0<br>
Indeterminate:  0<br>
Benchmark:      0<br>
Timeout:        0<br>
Invalid:        1<br>
Total:         13<br>
Average test time: 0:00:03.679446<br>
Testing time     : 0:00:47.832800<br>
<br>
-------------<br>
    FULL<br>
-------------<br>
<br>
Passed:        544<br>
Failed:          2<br>
User Input:      4<br>
Expected Fail:   0<br>
Indeterminate:   0<br>
Benchmark:       3<br>
Timeout:         9<br>
Invalid:         3<br>
Total:         565<br>
Average test time: 0:00:01.739428<br>
Testing time     : 0:16:22.777222<br>
<br>
*****************************<br>
<br>
    xilinx_zynq_a9_qemu<br>
<br>
*****************************<br>
<br>
qemu-system-arm -no-reboot -monitor null -serial stdio -nographic -M<br>
xilinx-zynq-a9 -kernel...<br>
<br>
----------------------------<br>
<br>
    COUVERTURE-QEMU<br>
<br>
----------------------------<br>
<br>
---------------<br>
    SAMPLES<br>
---------------<br>
<br>
<br>
Passed:        11<br>
Failed:         0<br>
User Input:     1<br>
Expected Fail:  0<br>
Indeterminate:  0<br>
Benchmark:      0<br>
Timeout:        0<br>
Invalid:        1<br>
Total:         13<br>
Average test time: 0:00:00.559658<br>
Testing time     : 0:00:07.275561<br>
<br>
-------------<br>
    FULL<br>
-------------<br>
<br>
Passed:        551<br>
Failed:          5<br>
User Input:      4<br>
Expected Fail:   0<br>
Indeterminate:   0<br>
Benchmark:       3<br>
Timeout:         2<br>
Invalid:         1<br>
Total:         566<br>
Average test time: 0:00:00.652736<br>
Testing time     : 0:06:09.448995<br>
<br>
<br>
------------------<br>
<br>
    RSB-QEMU<br>
<br>
------------------<br>
<br>
qemu-system-arm -no-reboot -serial null -serial mon:stdio -nographic<br>
-M xilinx-zynq-a9 -kernel...<br>
<br>
---------------<br>
    SAMPLES<br>
---------------<br>
<br>
Passed:        11<br>
Failed:         0<br>
User Input:     1<br>
Expected Fail:  0<br>
Indeterminate:  0<br>
Benchmark:      0<br>
Timeout:        0<br>
Invalid:        1<br>
Total:         13<br>
Average test time: 0:00:00.560756<br>
Testing time     : 0:00:07.289829<br>
<br>
-------------<br>
    FULL<br>
-------------<br>
<br>
Passed:        545<br>
Failed:          4<br>
User Input:      4<br>
Expected Fail:   0<br>
Indeterminate:   0<br>
Benchmark:       3<br>
Timeout:         9<br>
Invalid:         1<br>
Total:         566<br>
Average test time: 0:00:01.168632<br>
Testing time     : 0:11:01.445923<br>
<br>
<br>
******************************<wbr>***<br>
<br>
    realview_pbx_a9_qemu<br>
<br>
******************************<wbr>***<br>
--------------------------<br>
<br>
        RSB-QEMU<br>
<br>
--------------------------<br>
<br>
qemu-system-arm -no-reboot -monitor null -serial stdio -nographic -M<br>
realview-pbx-a9 -kernel...<br>
<br>
---------------<br>
    SAMPLES<br>
---------------<br>
<br>
Passed:        11<br>
Failed:         0<br>
User Input:     1<br>
Expected Fail:  0<br>
Indeterminate:  0<br>
Benchmark:      0<br>
Timeout:        0<br>
Invalid:        1<br>
Total:         13<br>
Average test time: 0:00:01.656712<br>
Testing time     : 0:00:21.537256<br>
<br>
--------------<br>
    FULL<br>
--------------<br>
<br>
Passed:        547<br>
Failed:          3<br>
User Input:      4<br>
Expected Fail:   0<br>
Indeterminate:   0<br>
Benchmark:       3<br>
Timeout:         8<br>
Invalid:         1<br>
Total:         566<br>
Average test time: 0:00:01.175699<br>
Testing time     : 0:11:05.445813<br>
<br>
------------------------<br>
<br>
    COUVERTURE-QEMU<br>
<br>
------------------------<br>
<br>
qemu-system-arm -no-reboot -monitor null -serial stdio -nographic -M<br>
realview-pbx-a9 -kernel...<br>
<br>
---------------<br>
    SAMPLES<br>
---------------<br>
<br>
<br>
Passed:        11<br>
Failed:         0<br>
User Input:     1<br>
Expected Fail:  0<br>
Indeterminate:  0<br>
Benchmark:      0<br>
Timeout:        0<br>
Invalid:        1<br>
Total:         13<br>
Average test time: 0:00:00.617387<br>
Testing time     : 0:00:08.026043<br>
<br>
--------------<br>
    FULL<br>
--------------<br>
<br>
Passed:        553<br>
Failed:          4<br>
User Input:      4<br>
Expected Fail:   0<br>
Indeterminate:   0<br>
Benchmark:       3<br>
Timeout:         1<br>
Invalid:         1<br>
Total:         566<br>
Average test time: 0:00:00.671176<br>
Testing time     : 0:06:19.886106<br>
</blockquote></div><br></div>