Skip to content

Commit

Permalink
cleanup
Browse files Browse the repository at this point in the history
  • Loading branch information
Lucas McDonald committed Sep 29, 2023
1 parent e987680 commit 0b060ba
Show file tree
Hide file tree
Showing 18 changed files with 0 additions and 72 deletions.
4 changes: 0 additions & 4 deletions TestModels/Aggregate/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/Constructor/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/Dependencies/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/Errors/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/Extendable/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/Extern/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/LocalService/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/Refinement/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/Resource/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/SimpleTypes/SimpleBlob/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/SimpleTypes/SimpleBoolean/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/SimpleTypes/SimpleDouble/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/SimpleTypes/SimpleEnum/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/SimpleTypes/SimpleInteger/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/SimpleTypes/SimpleLong/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/SimpleTypes/SimpleString/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions TestModels/Union/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
4 changes: 0 additions & 4 deletions ...dels/dafny-dependencies/StandardLibrary/runtimes/python/test/extern/test_dafny_wrapper.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down

0 comments on commit 0b060ba

Please sign in to comment.