def test_updating_the_file_makes_no_changes_normally():
with open(dfas.learned_dfa_file) as i:
source1 = i.read()
dfas.update_learned_dfas()
with open(dfas.learned_dfa_file) as i:
source2 = i.read()
assert source1 == source2
def preserving_dfas():
assert TEST_DFA_NAME not in dfas.SHRINKING_DFAS
for k in dfas.SHRINKING_DFAS:
assert not k.startswith(TEST_DFA_NAME)
original = dict(dfas.SHRINKING_DFAS)
try:
yield
finally:
dfas.SHRINKING_DFAS.clear()
dfas.SHRINKING_DFAS.update(original)
dfas.update_learned_dfas()
assert TEST_DFA_NAME not in dfas.SHRINKING_DFAS
with open(dfas.learned_dfa_file) as i:
assert TEST_DFA_NAME not in i.read()
def test_updating_the_file_include_new_shrinkers():
with preserving_dfas():
with open(dfas.learned_dfa_file) as i:
source1 = i.read()
dfas.SHRINKING_DFAS[TEST_DFA_NAME] = "hello"
dfas.update_learned_dfas()
with open(dfas.learned_dfa_file) as i:
source2 = i.read()
assert source1 != source2
assert repr(TEST_DFA_NAME) in source2
assert TEST_DFA_NAME not in dfas.SHRINKING_DFAS
with open(dfas.learned_dfa_file) as i:
assert "test name" not in i.read()
