from unittest import TestCase, main
from core.qm.petrick import *

class TestPetrick(TestCase):
    def setup(self):
        pass

    def test_multiply(self):
        self.fail()

    def test_remove_dups(self):
        self.fail()

    def test_multiply_all(self):
        self.fail()

    def test_reduce_expr(self):
        self.fail()

    def test_min_len_terms(self):
        self.fail()

    def test_count_literal(self):
        self.fail()
    
    def test_fewest_literals(self):
        self.fail()
from unittest import TestCase, main
from core.qm.petrick import *

class TestPetrick(TestCase):
    def setup(self):
        pass

    def test_multiply(self):
        self.fail()

    def test_remove_dups(self):
        self.fail()

    def test_multiply_all(self):
        self.fail()

    def test_reduce_expr(self):
        self.fail()

    def test_min_len_terms(self):
        self.fail()

    def test_count_literal(self):
        self.fail()
    
    def test_fewest_literals(self):
        self.fail()