Merge pull request #87 from TrisCC/fix-linter

Fix formatting issues

autoverify/cli/__main__.py

@@ -1,4 +1,5 @@
 """This file allows the cli to be called as a module or via the dir."""
+
 from autoverify.cli.main import main
 
 main()

autoverify/cli/install/install.py

@@ -1,4 +1,5 @@
 """TODO summary."""
+
 import logging
 import shlex
 import shutil

autoverify/cli/install/installers/abcrown/install.py

@@ -1,4 +1,5 @@
 """abcrown installer."""
+
 from pathlib import Path
 
 from autoverify.cli.util.git import GitRepoInfo, clone_checkout_verifier

autoverify/cli/install/installers/mnbab/install.py

@@ -1,4 +1,5 @@
 """mnbab installer."""
+
 import shlex
 import subprocess
 from pathlib import Path
@@ -54,7 +55,8 @@ def install(install_dir: Path):
     mpfr_path = str(get_conda_pkg_path("mpfr", "4.0.2", "hb69a4c5_1"))
     cddlib_path = str(get_conda_pkg_path("cddlib", "1!0.94j", "he80fd80_1001"))
 
-    with cwd(install_dir / "tool"), environment(
-        MPFR_PREFIX=mpfr_path, CDD_PREFIX=cddlib_path
+    with (
+        cwd(install_dir / "tool"),
+        environment(MPFR_PREFIX=mpfr_path, CDD_PREFIX=cddlib_path),
     ):
         subprocess.run(elina_cmd, shell=True)

autoverify/cli/install/installers/nnenum/install.py

@@ -1,4 +1,5 @@
 """nnenum installer."""
+
 from pathlib import Path
 
 from autoverify.cli.util.git import GitRepoInfo, clone_checkout_verifier

autoverify/cli/install/installers/ovalbab/install.py

@@ -1,4 +1,5 @@
 """ovalbab installer."""
+
 import os
 import subprocess
 from pathlib import Path

autoverify/cli/install/installers/verinet/install.py

@@ -1,4 +1,5 @@
 """verinet installer."""
+
 from pathlib import Path
 
 from autoverify.cli.util.git import GitRepoInfo, clone_checkout_verifier

autoverify/cli/main.py

@@ -1,4 +1,5 @@
 """CLI entry point module."""
+
 import argparse
 import sys
 

autoverify/cli/util/git.py

@@ -1,4 +1,5 @@
 """Git and git repo utilities."""
+
 import os
 import shlex
 import subprocess

autoverify/portfolio/hydra/cost_matrix.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 from collections.abc import Iterable, MutableMapping
 
 import numpy as np

autoverify/portfolio/hydra/hydra.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 import logging
 import random
 import sys

autoverify/portfolio/portfolio.py

@@ -1,4 +1,5 @@
 """Parallel portfolio."""
+
 from __future__ import annotations
 
 import datetime

autoverify/portfolio/portfolio_runner.py

@@ -1,4 +1,5 @@
 """Class to run parallel portfolio."""
+
 import concurrent.futures
 import logging
 import signal

autoverify/tune/tune_hydra.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 from collections.abc import Sequence
 from pathlib import Path
 

autoverify/tune/tune_verifier.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 import logging
 import sys
 from pathlib import Path

autoverify/types.py

@@ -1,4 +1,5 @@
 """Shared types."""
+
 # from dataclasses import dataclass, field
 from typing import Callable
 

autoverify/util/cli.py

@@ -1,4 +1,5 @@
 """CLI utility."""
+
 import ast
 from argparse import ArgumentTypeError
 from typing import Any

autoverify/util/configs.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 import ast
 import re
 from pathlib import Path

autoverify/util/cost_dict.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 import numpy as np
 from ConfigSpace import Configuration
 

autoverify/util/dataclass.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 import inspect
 from dataclasses import fields, is_dataclass
 from typing import Any

autoverify/util/dict.py

@@ -1,4 +1,5 @@
 """Dictionary utilities."""
+
 from typing import Any
 
 

autoverify/util/env.py

@@ -1,4 +1,5 @@
 """Utilities for managing environments."""
+
 import os
 import shutil
 import sys

autoverify/util/instances.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 from __future__ import annotations
 
 import csv

autoverify/util/loggers.py

@@ -1,4 +1,5 @@
 """Module-wide loggers."""
+
 # FIXME: Should use default logging conventions, this is bad
 # TODO: Why not just logging.getLogger(__name__)?????
 import logging

autoverify/util/onnx.py

@@ -1,4 +1,5 @@
 """Onnx utility functions."""
+
 from pathlib import Path
 
 import onnx

autoverify/util/path.py

@@ -1,4 +1,5 @@
 """Path/file utils."""
+
 from pathlib import Path
 
 

autoverify/util/proc.py

@@ -1,4 +1,5 @@
 """Utilities for process and CPU stuff."""
+
 import os
 import shlex
 import subprocess

autoverify/util/resource_strategy.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 from enum import Enum
 
 from autoverify.types import ResourceList

autoverify/util/resources.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 from autoverify.portfolio.portfolio import PortfolioScenario
 from autoverify.util.proc import cpu_count, nvidia_gpu_count
 from autoverify.util.resource_strategy import ResourceStrategy

autoverify/util/smac.py

@@ -1,4 +1,5 @@
 """SMAC util."""
+
 import copy
 import csv
 import json

autoverify/util/target_function.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 from pathlib import Path
 
 from ConfigSpace import Configuration

autoverify/util/tempfiles.py

@@ -1,4 +1,5 @@
 """YAML file utils."""
+
 import atexit
 import json
 import tempfile

autoverify/util/verification_instance.py

@@ -1,4 +1,5 @@
 """VerificationInstance."""
+
 from __future__ import annotations
 
 from dataclasses import dataclass

autoverify/util/verifiers.py

@@ -1,4 +1,5 @@
 """Hardcoded verifier utility."""
+
 from ConfigSpace import ConfigurationSpace
 
 from autoverify.verifier import AbCrown, MnBab, Nnenum, OvalBab, Verinet

autoverify/util/vnncomp.py

@@ -3,6 +3,7 @@
 Return verifier instances that should be compatible with the given
 benchmark + instance.
 """
+
 from pathlib import Path
 from typing import Any
 

autoverify/util/vnncomp_filters.py

@@ -1,4 +1,5 @@
 """Filters VNNCOMP style instances."""
+
 from typing import Callable
 
 from autoverify.util.verification_instance import VerificationInstance

autoverify/verifier/complete/abcrown/abcrown_yaml_config.py

@@ -1,4 +1,5 @@
 """File for generating abcrown configs."""
+
 from pathlib import Path
 from typing import IO, Any
 

autoverify/verifier/complete/abcrown/verifier.py

@@ -1,4 +1,5 @@
 """ab-crown verifier."""
+
 from collections.abc import Iterable
 from pathlib import Path
 from typing import Any, ContextManager

autoverify/verifier/complete/mnbab/configspace.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 from ConfigSpace import (
     Categorical,
     ConfigurationSpace,

autoverify/verifier/complete/mnbab/mnbab_json.py

@@ -1,4 +1,5 @@
 """_sumary_."""
+
 import csv
 import json
 import sys

autoverify/verifier/complete/mnbab/verifier.py

@@ -1,4 +1,5 @@
 """Nnenum verifier."""
+
 from pathlib import Path
 from typing import ContextManager
 

autoverify/verifier/complete/nnenum/configspace.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 from ConfigSpace import (
     Categorical,
     ConfigurationSpace,

autoverify/verifier/complete/nnenum/verifier.py

@@ -1,4 +1,5 @@
 """Nnenum verifier."""
+
 import shlex
 from pathlib import Path
 from typing import Any, ContextManager, Iterable

autoverify/verifier/complete/ovalbab/ovalbab_json_config.py

@@ -1,4 +1,5 @@
 """Intermediate representation of ovalbab json configs."""
+
 import json
 from pathlib import Path
 from typing import IO, Any

autoverify/verifier/complete/ovalbab/verifier.py

@@ -1,4 +1,5 @@
 """OvalBab verifier."""
+
 from collections.abc import Iterable
 from pathlib import Path
 from typing import Any, ContextManager

autoverify/verifier/complete/verinet/configspace.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 from ConfigSpace import Categorical, ConfigurationSpace, Float, Integer
 
 VerinetConfigspace = ConfigurationSpace(name="verinet")

autoverify/verifier/complete/verinet/verifier.py

@@ -1,4 +1,5 @@
 """VerInet."""
+
 import shlex
 from pathlib import Path
 from typing import Any, ContextManager, Iterable

autoverify/verifier/verifier.py

@@ -1,4 +1,5 @@
 """Base verifier class."""
+
 import os
 import signal
 import subprocess

autoverify/verify/eval_verifier.py

@@ -3,6 +3,7 @@
 This file is meant for functions that benchmark the performance of a verifier,
 collecting detailed results about the verification run.
 """
+
 import copy
 import logging
 from pathlib import Path

tests/fake_vnncomp/gen_inst_csv.py

@@ -2,6 +2,7 @@
 
 Creates an `instances.csv` file linking each network to each property.
 """
+
 import csv
 import sys
 from pathlib import Path

tests/test_cli/test_cli.py

@@ -1,4 +1,5 @@
 """_summary_."""
+
 # TODO: Dont hardcore error strings, import them from somewhere instead
 import subprocess