<reponame>samysweb/dnnv<filename>tests/system_tests/test_verifiers/test_eran.py
import unittest

from dnnv.verifiers.eran import ERAN

from system_tests.test_verifiers.utils import VerifierTests


@unittest.skipIf(not ERAN.is_installed(), "ERAN is not installed")
class ERANVerifierTests(VerifierTests, unittest.TestCase):
    def initialize(self):
        self.verifier = ERAN
        self.is_complete = False


if __name__ == "__main__":
    unittest.main()

import unittest

from dnnv.verifiers.eran import ERAN

from system_tests.test_verifiers.utils import VerifierTests


@unittest.skipIf(not ERAN.is_installed(), "ERAN is not installed")
class ERANVerifierTests(VerifierTests, unittest.TestCase):
    def initialize(self):
        self.verifier = ERAN
        self.is_complete = False


if __name__ == "__main__":
    unittest.main()