def test_enable_disable_bool():
    tracer = ExecutionTracer()
    tracer.register_predicate(MagicMock(PredicateMetaData))
    assert len(tracer.get_trace().executed_predicates) == 0

    tracer._disable()
    tracer.executed_bool_predicate(True, 0)
    assert len(tracer.get_trace().executed_predicates) == 0

    tracer._enable()
    tracer.executed_bool_predicate(True, 0)
    assert len(tracer.get_trace().executed_predicates) == 1
def test_enable_disable_cmp():
    tracer = ExecutionTracer()
    tracer.register_predicate(MagicMock(PredicateMetaData))
    assert len(tracer.get_trace().executed_predicates) == 0

    tracer._disable()
    tracer.executed_compare_predicate(0, 0, 0, Compare.EQ)
    assert len(tracer.get_trace().executed_predicates) == 0

    tracer._enable()
    tracer.executed_compare_predicate(0, 0, 0, Compare.EQ)
    assert len(tracer.get_trace().executed_predicates) == 1