projects / libside.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fd7204) | patch
Add static checker tests
authorOlivier Dion <odion@efficios.com>
Wed, 23 Oct 2024 18:46:05 +0000 (14:46 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@efficios.com>
Thu, 24 Oct 2024 20:51:26 +0000 (16:51 -0400)
commitf87c7062b9a0fdb45f20b5ea134fc6bf7fa7c7f0
treefc05939f9053e62114d63bb4bde8d5e1234112e2tree | snapshot
parent7fd7204f2f3f73453e46352b9800e21264a4519acommit | diff
Add static checker tests

The static checkers ought to work with unit tests.  Therefore, adding
`*-sc*' variants for `test.c' and `test-cxx.  This only test valid
inputs.

Invalid inputs are tested under `tests/static-checker'.  Files can be
written with invalid DSL usage and added
`tests/static-checker/run-tests'.

Change-Id: Iac5419bfb846d4272ed02ba9c5d1377467e85684
Signed-off-by: Olivier Dion <odion@efficios.com>
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
14 files changed:
.gitignore diff | blob | blame | history
configure.ac diff | blob | blame | history
tests/Makefile.am diff | blob | blame | history
tests/static-checker/Makefile.am [new file with mode: 0644] blob
tests/static-checker/argument-array-types-incompatible.c [new file with mode: 0644] blob
tests/static-checker/argument-vla-types-incompatible.c [new file with mode: 0644] blob
tests/static-checker/duplicated-fields.c [new file with mode: 0644] blob
tests/static-checker/null-field.c [new file with mode: 0644] blob
tests/static-checker/optional-mismatch.c [new file with mode: 0644] blob
tests/static-checker/prologue.c [new file with mode: 0644] blob
tests/static-checker/run-tests [new file with mode: 0755] blob
tests/static-checker/static-event-call-mismatch.c [new file with mode: 0644] blob
tests/unit/test-sc-cxx.cpp [new file with mode: 0644] blob
tests/unit/test-sc.c [new file with mode: 0644] blob
Software Instrumentation Dynamically Enabled
This page took 0.023811 seconds and 4 git commands to generate.