diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-07-15 10:04:25 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-07-15 10:12:50 +0200 |
| commit | e49c7597c091559caa5b1e0f2cabe1bb64ae9cb5 (patch) | |
| tree | 33978dc3fba68ec39a77855148fc7816d0b56764 /specverify.py | |
| parent | Rename "external" in "modules" (diff) | |
| download | rtems-central-e49c7597c091559caa5b1e0f2cabe1bb64ae9cb5.tar.bz2 | |
Rename "rtemsqual" in "rtemsspec"
Diffstat (limited to 'specverify.py')
| -rwxr-xr-x | specverify.py | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/specverify.py b/specverify.py index a5033386..6effacb1 100755 --- a/specverify.py +++ b/specverify.py @@ -25,16 +25,16 @@ # ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE # POSSIBILITY OF SUCH DAMAGE. -import rtemsqual.items -import rtemsqual.specverify -import rtemsqual.util +import rtemsspec.items +import rtemsspec.specverify +import rtemsspec.util def main() -> None: """ Verfies the specification. """ - config = rtemsqual.util.load_config("config.yml") - item_cache = rtemsqual.items.ItemCache(config["spec"]) - rtemsqual.specverify.verify(config["spec-verification"], item_cache) + config = rtemsspec.util.load_config("config.yml") + item_cache = rtemsspec.items.ItemCache(config["spec"]) + rtemsspec.specverify.verify(config["spec-verification"], item_cache) if __name__ == "__main__": |