Exemplo n.º 1
0
    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
0
    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")