Re: Couverture-Qemu Testing Results

2017-06-12 Thread Chris Johns
On 12/06/2017 04:53, Joel Sherrill wrote: > > File individual tickets on the bsps with unique failures on qemu. And one to > cover the "no exit" case. I know Chris has been hesitant to look at test > output > and kill tests but I think it is necessary unless you can find a way to make > qemu auto

Re: Couverture-Qemu Testing Results

2017-06-11 Thread Joel Sherrill
On Jun 11, 2017 1:14 PM, "Cillian O'Donnell" wrote: >You might should hand check hello on all the bsps. I recall that some do not have a way for the bsp to "reset" the board and exit back to Linux. The tests run but since qemu doesn't exit at RTEMS shutdown, you have to timeout. Actually I've al

Re: Couverture-Qemu Testing Results

2017-06-11 Thread Cillian O'Donnell
>You might should hand check hello on all the bsps. I recall that some do not >have a way for the bsp to "reset" the board and exit back to Linux. The tests >run but since qemu doesn't exit at RTEMS shutdown, you have to timeout. Actually I've already done this and that is the exact problem I'm

Re: Couverture-Qemu Testing Results

2017-06-11 Thread Joel Sherrill
On Jun 11, 2017 4:13 AM, "Cillian O'Donnell" wrote: > Does pc386 look similar? I haven't been able to get a decent set of results for PC386. For RSB-Qemu all the tests time out. Using command qemu-system-i386 -m 128 -boot b -hda path_to/rtems-boot.img -no-reboot -monitor null -serial stdio -no

Re: Couverture-Qemu Testing Results

2017-06-11 Thread Cillian O'Donnell
> Does pc386 look similar? I haven't been able to get a decent set of results for PC386. For RSB-Qemu all the tests time out. Using command qemu-system-i386 -m 128 -boot b -hda path_to/rtems-boot.img -no-reboot -monitor null -serial stdio -nographic -append "--console=com1;boot;" --

Re: Couverture-Qemu Testing Results

2017-06-10 Thread Joel Sherrill
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

Couverture-Qemu Testing Results

2017-06-10 Thread Cillian O'Donnell
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