From 0b060ba9b953f9e3e36a9afd517c9575143f420e Mon Sep 17 00:00:00 2001 From: Lucas McDonald Date: Fri, 29 Sep 2023 10:17:15 -0700 Subject: [PATCH] cleanup --- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../Errors/runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../Extern/runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../Union/runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- .../runtimes/python/test/extern/test_dafny_wrapper.py | 4 ---- 18 files changed, 72 deletions(-) diff --git a/TestModels/Aggregate/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/Aggregate/runtimes/python/test/extern/test_dafny_wrapper.py index c4ed92af6..9092f9e05 100644 --- a/TestModels/Aggregate/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/Aggregate/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/Constructor/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/Constructor/runtimes/python/test/extern/test_dafny_wrapper.py index ff4ebf8a9..2a4a0190b 100644 --- a/TestModels/Constructor/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/Constructor/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/Dependencies/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/Dependencies/runtimes/python/test/extern/test_dafny_wrapper.py index 4ca828add..25daaea36 100644 --- a/TestModels/Dependencies/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/Dependencies/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/Errors/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/Errors/runtimes/python/test/extern/test_dafny_wrapper.py index 0624ad582..3494c3deb 100644 --- a/TestModels/Errors/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/Errors/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/Extendable/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/Extendable/runtimes/python/test/extern/test_dafny_wrapper.py index 9a39319fe..c6fae8432 100644 --- a/TestModels/Extendable/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/Extendable/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/Extern/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/Extern/runtimes/python/test/extern/test_dafny_wrapper.py index fdbfbd67a..9ed7b2dae 100644 --- a/TestModels/Extern/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/Extern/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/LocalService/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/LocalService/runtimes/python/test/extern/test_dafny_wrapper.py index 43edcb6b2..a55bdb0ac 100644 --- a/TestModels/LocalService/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/LocalService/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/Refinement/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/Refinement/runtimes/python/test/extern/test_dafny_wrapper.py index 33f4def5b..38ce6eae2 100644 --- a/TestModels/Refinement/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/Refinement/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/Resource/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/Resource/runtimes/python/test/extern/test_dafny_wrapper.py index c0a1d8eea..ccf1e54ee 100644 --- a/TestModels/Resource/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/Resource/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/SimpleTypes/SimpleBlob/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/SimpleTypes/SimpleBlob/runtimes/python/test/extern/test_dafny_wrapper.py index 593c14d34..6133a07e3 100644 --- a/TestModels/SimpleTypes/SimpleBlob/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/SimpleTypes/SimpleBlob/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/SimpleTypes/SimpleBoolean/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/SimpleTypes/SimpleBoolean/runtimes/python/test/extern/test_dafny_wrapper.py index 8f553ea55..b9b1f4c7b 100644 --- a/TestModels/SimpleTypes/SimpleBoolean/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/SimpleTypes/SimpleBoolean/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/SimpleTypes/SimpleDouble/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/SimpleTypes/SimpleDouble/runtimes/python/test/extern/test_dafny_wrapper.py index 5598b6f45..80608d4fb 100644 --- a/TestModels/SimpleTypes/SimpleDouble/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/SimpleTypes/SimpleDouble/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/SimpleTypes/SimpleEnum/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/SimpleTypes/SimpleEnum/runtimes/python/test/extern/test_dafny_wrapper.py index 028a7cbb5..e475a70fc 100644 --- a/TestModels/SimpleTypes/SimpleEnum/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/SimpleTypes/SimpleEnum/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/SimpleTypes/SimpleInteger/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/SimpleTypes/SimpleInteger/runtimes/python/test/extern/test_dafny_wrapper.py index 95f2c8b72..fe235067c 100644 --- a/TestModels/SimpleTypes/SimpleInteger/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/SimpleTypes/SimpleInteger/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/SimpleTypes/SimpleLong/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/SimpleTypes/SimpleLong/runtimes/python/test/extern/test_dafny_wrapper.py index b84533ce6..46bccd8e4 100644 --- a/TestModels/SimpleTypes/SimpleLong/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/SimpleTypes/SimpleLong/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/SimpleTypes/SimpleString/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/SimpleTypes/SimpleString/runtimes/python/test/extern/test_dafny_wrapper.py index 18eea815a..bcb64d524 100644 --- a/TestModels/SimpleTypes/SimpleString/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/SimpleTypes/SimpleString/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/Union/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/Union/runtimes/python/test/extern/test_dafny_wrapper.py index 921c8c1d7..d74d78cb5 100644 --- a/TestModels/Union/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/Union/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added. diff --git a/TestModels/dafny-dependencies/StandardLibrary/runtimes/python/test/extern/test_dafny_wrapper.py b/TestModels/dafny-dependencies/StandardLibrary/runtimes/python/test/extern/test_dafny_wrapper.py index 0df2a7675..1dac19591 100644 --- a/TestModels/dafny-dependencies/StandardLibrary/runtimes/python/test/extern/test_dafny_wrapper.py +++ b/TestModels/dafny-dependencies/StandardLibrary/runtimes/python/test/extern/test_dafny_wrapper.py @@ -6,10 +6,6 @@ which will execute the `internaldafny_test_executor.py` file in the `dafny` directory. """ -import glob -from os.path import isfile, join -import importlib - # Import modules required for Dafny-generated tests. # This is not generated; these must be manually added.