From 2d65c3ea389cf0f7f85ebe2a2c1c132c7c650374 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Mon, 8 Jun 2020 13:47:27 +0200 Subject: spec2rtems: Generate validation tests --- spec2rtems.py | 1 + 1 file changed, 1 insertion(+) (limited to 'spec2rtems.py') diff --git a/spec2rtems.py b/spec2rtems.py index 9888dccf..878b79a4 100755 --- a/spec2rtems.py +++ b/spec2rtems.py @@ -33,6 +33,7 @@ def main() -> None: config = rtemsqual.util.load_config("config.yml") item_cache = rtemsqual.items.ItemCache(config["spec"]) rtemsqual.interface.generate(config["interface"], item_cache) + rtemsqual.validation.generate(config["validation"], item_cache) if __name__ == "__main__": -- cgit v1.2.3