Exemplos de SatSolverFactory.normalize_name em Python

Exemplo n.º 1

    def test_normalize_name(self):
        normalized = SatSolverFactory.normalize_name("minisat")
        self.assertEquals(normalized, 'MiniSat')

        normalized = SatSolverFactory.normalize_name("MINISAT")
        self.assertEquals(normalized, 'MiniSat')

        normalized = SatSolverFactory.normalize_name("mInIsAt")
        self.assertEquals(normalized, 'MiniSat')

        normalized = SatSolverFactory.normalize_name("MiniSat")
        self.assertEquals(normalized, 'MiniSat')

        if self.zchaff:
            normalized = SatSolverFactory.normalize_name("zchaff")
            self.assertEquals(normalized, 'ZChaff')

            normalized = SatSolverFactory.normalize_name("ZCHAFF")
            self.assertEquals(normalized, 'ZChaff')

            normalized = SatSolverFactory.normalize_name("ZcHaFf")
            self.assertEquals(normalized, 'ZChaff')

            normalized = SatSolverFactory.normalize_name("ZChaff")
            self.assertEquals(normalized, 'ZChaff')

        with self.assertRaises(ValueError):
            SatSolverFactory.normalize_name("bonjour")

Exemplo n.º 2

Arquivo: testSatSolverFactory.py Projeto: xgillard/pynusmv

    def test_normalize_name(self):
        normalized = SatSolverFactory.normalize_name("minisat")
        self.assertEquals(normalized, "MiniSat")

        normalized = SatSolverFactory.normalize_name("MINISAT")
        self.assertEquals(normalized, "MiniSat")

        normalized = SatSolverFactory.normalize_name("mInIsAt")
        self.assertEquals(normalized, "MiniSat")

        normalized = SatSolverFactory.normalize_name("MiniSat")
        self.assertEquals(normalized, "MiniSat")

        normalized = SatSolverFactory.normalize_name("zchaff")
        self.assertEquals(normalized, "ZChaff")

        normalized = SatSolverFactory.normalize_name("ZCHAFF")
        self.assertEquals(normalized, "ZChaff")

        normalized = SatSolverFactory.normalize_name("ZcHaFf")
        self.assertEquals(normalized, "ZChaff")

        normalized = SatSolverFactory.normalize_name("ZChaff")
        self.assertEquals(normalized, "ZChaff")

        with self.assertRaises(ValueError):
            SatSolverFactory.normalize_name("bonjour")