diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-06-08 13:47:27 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-07-03 10:22:45 +0200 |
commit | 2d65c3ea389cf0f7f85ebe2a2c1c132c7c650374 (patch) | |
tree | 56af27ec3f308de74733b9141d81a098cd3e9916 /spec2rtems.py | |
parent | 75c689fe997774c98fe9a57b29e464ca884a4cf3 (diff) |
spec2rtems: Generate validation tests
Diffstat (limited to 'spec2rtems.py')
-rwxr-xr-x | spec2rtems.py | 1 |
1 files changed, 1 insertions, 0 deletions
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__": |