Hi Joel,
Thanks for the explanation! It was in the context of Classic API.
All the best,
Jerzy
pon., 14 mar 2022 o 13:12 Joel Sherrill napisał(a):
>
>
> On Mon, Mar 14, 2022 at 6:44 AM Jerzy J wrote:
>
>> Hi,
>>
>> I've been developing some tests and
Hi,
I've been developing some tests and observed some task behaviour that i
can't understand and couldn't find any documentation about it.
I have tests where I create 2 extra tasks (Workers) and then those tasks
are blocked and unlocked using semaphores and barriers. However, whenever
main task (
Hi,
I'm still trying to generate coverage reports with RTEMS 6 and
gr712rc/leon3 bsps using rtems-test.
However I get a weird behaviour when coverage is generated.
The command I use:
`./rtems-test --rtems-tools=$HOME/RTEMS/rtems/6 --log=log_leon3_sis
--rtems-bsp=leon3-sis-cov --coverage
~/RTEMS/s
n trying other
tests. In fact it seems I have exactly same issue with any test I try, even
hello.exe.
Any suggestions at what I might be doing wrong?
Thanks again and all the best,
Jerzy
sob., 19 lut 2022 o 13:26 Jerzy J napisał(a):
> Hi,
>
> I've been trying to get some coverage re
Hi,
I've been trying to get some coverage reports on my tests. I'm using RTEMS
6 and gr712rc/leon3 bsps.
Normally I run my tests using:
`./sparc-rtems6-sis -leon3 -r s -m 4
$HOME/RTEMS/src/rtems/build/sparc/gr712rc/testsuites/validation/ts-model-barrier-mgr-0.exe`
, where I can specify `-m 4`.
H
m G.39, O'Reilly Institute, Trinity College, University of Dublin
> http://www.scss.tcd.ie/Andrew.Butterfield/
>
>
>
> -Original Message-
> From: users on behalf of Joel Sherrill <
>
Hi,
I'm using RTEMS 6 and I'm trying to model the Barrier Manager behaviour
using Promela.
However, there's one unclear thing to me which I couldn't find an exact
explanation of in the documentation.
While the `rtems_barrier_ident` directive can only search on the local
node, if a task already ha
