libtests/can01: Excessive test output

2022-11-28 Thread Sebastian Huber
Hello Prashanth, the test program libtests/can01 produces a lot of output (more than 7000 lines). Could you please strip this down to a reasonable amount (less than 100). What are the test objectives? From looking at the assertions, not much from the CAN framework is tested: grep -r assert

Re: Fwd: Coverity Scan: Analysis completed for RTEMS

2022-11-28 Thread Chris Johns
On 25/11/2022 5:40 pm, Joel Sherrill wrote: > Looks like edit.c may still have an issue since only one was eliminated. Late > here and I didn't check the Coverity report for sure. With Coverity is there anyway to check changes or do we consider the issues raised, attempt a solution then just keep

Re: Fwd: Coverity Scan: Analysis completed for RTEMS

2022-11-28 Thread Joel Sherrill
On Mon, Nov 28, 2022 at 3:33 PM Chris Johns wrote: > On 25/11/2022 5:40 pm, Joel Sherrill wrote: > > Looks like edit.c may still have an issue since only one was eliminated. > Late > > here and I didn't check the Coverity report for sure. > > With Coverity is there anyway to check changes or do w

Re: Add Formal Verification chapter v2

2022-11-28 Thread Gedare Bloom
On Fri, Nov 25, 2022 at 12:45 AM Sebastian Huber wrote: > > On 24/11/2022 14:41, andrew.butterfi...@scss.tcd.ie wrote: > > > > Section 9.7 "RTEMS Formal Model Guide" seems like it includes both > > some aspects of a How-To but also a lot of details that might be > > better as a separat

[PATCH] cpukit/include/dev/can: Disabled debug prints in CAN Framework

2022-11-28 Thread Prashanth S
--- cpukit/include/dev/can/can.h | 2 +- testsuites/libtests/can01/init.c | 14 -- 2 files changed, 9 insertions(+), 7 deletions(-) diff --git a/cpukit/include/dev/can/can.h b/cpukit/include/dev/can/can.h index 9e55395039..27afd00088 100644 --- a/cpukit/include/dev/can/can.h +++

Re: [PATCH] cpukit/include/dev/can: Disabled debug prints in CAN Framework

2022-11-28 Thread Gedare Bloom
Hi Prashanth, On Mon, Nov 28, 2022 at 8:46 PM Prashanth S wrote: > > --- > cpukit/include/dev/can/can.h | 2 +- > testsuites/libtests/can01/init.c | 14 -- > 2 files changed, 9 insertions(+), 7 deletions(-) > > diff --git a/cpukit/include/dev/can/can.h b/cpukit/include/dev/can/c

Re: [PATCH] cpukit/include/dev/can: Disabled debug prints in CAN Framework

2022-11-28 Thread Sebastian Huber
On 29/11/2022 05:57, Gedare Bloom wrote: @@ -111,18 +113,18 @@ static void test_task(rtems_task_argument data) msg_size = ((char *)&msg.data[msg.len] - (char *)&msg); -printf("calling write task = %u\n", task_num); +CAN_DEBUG("calling write task = %u\n", task_num); The general