b265442b8c
Mark select channel as dirty on mux_init()
...
Ensures that the select callback will be called on the propagation
phase, immediately setting the right output. Otherwise the mux won't be
updated until the select channel sets a new value.
2023-03-24 12:08:45 +00:00
cd39230089
Remove boilerplate from the models
2023-03-24 12:08:45 +00:00
a91b1c554a
Finish task types in PCF for nanos6
2023-03-24 12:08:45 +00:00
e674c92f13
Enable emu and rt tests for nanos6 and ovni
2023-03-24 12:08:45 +00:00
177429fabc
Follow K&R coding style using clang-format
2022-09-29 16:52:28 +02:00
834b33af33
Use SPDX license identifiers
2022-09-29 14:16:47 +02:00
c82b95ff07
Fix emu tests for taskfor and task body events
2022-09-21 17:31:28 +02:00
cd2e949613
Fix nested-tasks emu test
2022-09-21 13:17:38 +02:00
a94a56a4ba
Update Nanos6 events for tests
2022-09-20 10:30:36 +02:00
24cb5a37c2
Remove fake subsystem test.
...
It is now covered by the runtime tests.
2022-09-20 10:29:36 +02:00
3d39b8cc54
Update task create emulated events
2022-09-12 16:52:27 +02:00
666075e8cd
Disable Nanos6 subsystem test for now
2022-09-12 16:16:10 +02:00
ac1ae8e69d
Use one event per blocking type in Nanos6
2022-09-12 16:16:10 +02:00
6551ba80b1
Compute test name from source file
2022-09-12 16:16:10 +02:00