verification/rvgen: Add golden and spec folders for tests

Browse source

Create reference models specifications and generated files in the golded
folder. Those can be used as reference to validate rvgen still generates
files as expected in automated tests.

Reviewed-by: Nam Cao <namcao@linutronix.de>
Link: https://lore.kernel.org/r/20260723074534.43521-8-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>

...

This commit is contained in:

Gabriele Monaco 2026-07-23 09:45:24 +02:00

parent 92f0ce5529

commit 655d48096d

42 changed files with 2001 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

9

tools/verification/rvgen/tests/golden/da_global/Kconfig

View file

95

tools/verification/rvgen/tests/golden/da_global/da_global.c

View file

47

tools/verification/rvgen/tests/golden/da_global/da_global.h

View file

15

tools/verification/rvgen/tests/golden/da_global/da_global_trace.h

View file

11

tools/verification/rvgen/tests/golden/da_perobj_parent/Kconfig

View file

119

tools/verification/rvgen/tests/golden/da_perobj_parent/da_perobj_parent.c

View file

64

tools/verification/rvgen/tests/golden/da_perobj_parent/da_perobj_parent.h

View file

15

tools/verification/rvgen/tests/golden/da_perobj_parent/da_perobj_parent_trace.h

View file

9

tools/verification/rvgen/tests/golden/da_pertask_desc/Kconfig

View file

105

tools/verification/rvgen/tests/golden/da_pertask_desc/da_pertask_desc.c

View file

64

tools/verification/rvgen/tests/golden/da_pertask_desc/da_pertask_desc.h

View file

15

tools/verification/rvgen/tests/golden/da_pertask_desc/da_pertask_desc_trace.h

View file

9

tools/verification/rvgen/tests/golden/ha_percpu/Kconfig

View file

227

tools/verification/rvgen/tests/golden/ha_percpu/ha_percpu.c

View file

72

tools/verification/rvgen/tests/golden/ha_percpu/ha_percpu.h

View file

19

tools/verification/rvgen/tests/golden/ha_percpu/ha_percpu_trace.h

View file

9

tools/verification/rvgen/tests/golden/ltl_pertask/Kconfig

View file

107

tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask.c

View file

108

tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask.h

View file

14

tools/verification/rvgen/tests/golden/ltl_pertask/ltl_pertask_trace.h

View file

5

tools/verification/rvgen/tests/golden/test_container/Kconfig

View file

35

tools/verification/rvgen/tests/golden/test_container/test_container.c

View file

3

tools/verification/rvgen/tests/golden/test_container/test_container.h

View file

9

tools/verification/rvgen/tests/golden/test_da/Kconfig

View file

95

tools/verification/rvgen/tests/golden/test_da/test_da.c

View file

47

tools/verification/rvgen/tests/golden/test_da/test_da.h

View file

15

tools/verification/rvgen/tests/golden/test_da/test_da_trace.h

View file

9

tools/verification/rvgen/tests/golden/test_ha/Kconfig

View file

230

tools/verification/rvgen/tests/golden/test_ha/test_ha.c

View file

72

tools/verification/rvgen/tests/golden/test_ha/test_ha.h

View file

19

tools/verification/rvgen/tests/golden/test_ha/test_ha_trace.h

View file

11

tools/verification/rvgen/tests/golden/test_ltl/Kconfig

View file

108

tools/verification/rvgen/tests/golden/test_ltl/test_ltl.c

View file

108

tools/verification/rvgen/tests/golden/test_ltl/test_ltl.h

View file

14

tools/verification/rvgen/tests/golden/test_ltl/test_ltl_trace.h

View file

16

tools/verification/rvgen/tests/specs/test_da.dot

View file

19

tools/verification/rvgen/tests/specs/test_da2.dot

View file

27

tools/verification/rvgen/tests/specs/test_ha.dot

View file

8

tools/verification/rvgen/tests/specs/test_invalid.dot

View file

1

tools/verification/rvgen/tests/specs/test_invalid.ltl

View file

16

tools/verification/rvgen/tests/specs/test_invalid_ha.dot

View file

1

tools/verification/rvgen/tests/specs/test_ltl.ltl

View file