def test_nfa_interestingness_check_side_effects(self):
     """ Tests that the function doesn't make any side effect
     on the input"""
     before = copy.deepcopy(self.nfa_interestingness_test_01)
     NFA.nfa_interestingness_check(self.nfa_interestingness_test_01)
     self.assertDictEqual(before, self.nfa_interestingness_test_01)
 def test_nfa_interestingness_check_wrong_input(self):
     """ Tests the nonemptines of an input different from a
     dict object. [EXPECTED FAILURE] """
     self.assertFalse(NFA.nfa_interestingness_check(0))
 def test_nfa_interestingness_check_wrong_dict(self):
     """ Tests the interestingness of an input dict different
     from a dict representing a nfa. [EXPECTED FAILURE] """
     self.assertFalse(NFA.nfa_interestingness_check({}))
 def test_nfa_interestingness_check_empty(self):
     """ Tests the interestingness of an empty nfa """
     self.assertFalse(
         NFA.nfa_interestingness_check(self.nfa_interestingness_test_empty))
 def test_nfa_interestingness_check_false(self):
     """ Tests a correct nfa interestingness check, where the
     nfa is universal """
     self.assertFalse(
         NFA.nfa_interestingness_check(self.nfa_interestingness_test_02))
 def test_nfa_interestingness_check(self):
     """ Tests a correct nfa interestingness check """
     self.assertTrue(
         NFA.nfa_interestingness_check(self.nfa_interestingness_test_01))