@pytest.mark.skipif((not flag), reason='need correct overlay to run')
def test_fsm_no_trace():
    'Test for the Finite State Machine Generator class.\n\n    This is similar to the first test, but in this test,\n    we will test the case when no analyzer is specified.\n\n    '
    ol.download()
    (fsm_spec_4_state, _, _, _) = build_fsm_spec_4_state(0)
    fsm_generator = FSMGenerator(mb_info)
    fsm_generator.trace(use_analyzer=False)
    fsm_generator.setup(fsm_spec_4_state)
    fsm_generator.run()
    exception_raised = False
    try:
        fsm_generator.show_waveform()
    except ValueError:
        exception_raised = True
    assert exception_raised, 'Should raise exception for show_waveform().'
    fsm_generator.reset()
    del fsm_generator
Test for the Finite State Machine Generator class.

This is similar to the first test, but in this test,
we will test the case when no analyzer is specified.
@pytest.mark.skipif((not flag), reason='need correct overlay to run')
def test_fsm_no_trace():
    'Test for the Finite State Machine Generator class.\n\n    This is similar to the first test, but in this test,\n    we will test the case when no analyzer is specified.\n\n    '
    ol.download()
    (fsm_spec_4_state, _, _, _) = build_fsm_spec_4_state(0)
    fsm_generator = FSMGenerator(mb_info)
    fsm_generator.trace(use_analyzer=False)
    fsm_generator.setup(fsm_spec_4_state)
    fsm_generator.run()
    exception_raised = False
    try:
        fsm_generator.show_waveform()
    except ValueError:
        exception_raised = True
    assert exception_raised, 'Should raise exception for show_waveform().'
    fsm_generator.reset()
    del fsm_generator