summaryrefslogtreecommitdiff
path: root/rtems_spec_to_x.py
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2020-04-24 14:49:27 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2020-05-28 10:34:23 +0200
commit0dee9e48a97276ab15f7e7f5efd3c0c131c708ba (patch)
tree037f1932f0acf3cedf91ffd11860445077be8267 /rtems_spec_to_x.py
parentb0ca1a7665f7856926e0d6eab074aa616cc263f6 (diff)
Generate a test suite with two test cases
Diffstat (limited to 'rtems_spec_to_x.py')
-rwxr-xr-xrtems_spec_to_x.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/rtems_spec_to_x.py b/rtems_spec_to_x.py
index 576d7637..d0cdc058 100755
--- a/rtems_spec_to_x.py
+++ b/rtems_spec_to_x.py
@@ -35,6 +35,7 @@ import rtemsqual.build
from rtemsqual.items import ItemCache
import rtemsqual.glossary
import rtemsqual.util
+import rtemsqual.validation
def _run_command(args: List[str], cwd: str) -> int:
@@ -73,6 +74,7 @@ def main() -> None:
item_cache = ItemCache(config["spec"])
rtemsqual.glossary.generate(config["glossary"], item_cache)
rtemsqual.applconfig.generate(config["appl-config"], item_cache)
+ rtemsqual.validation.generate(config["validation"], item_cache)
_run_pre_qualified_only_build(config["build"], item_cache)