def test_vcd_change_after_close(capsys):
vcd = VCDWriter(sys.stdout, date='')
var = vcd.register_var('a', 'b', 'integer')
assert not split_lines(capsys)
vcd.close()
with pytest.raises(VCDPhaseError):
vcd.change(var, 1, 1)
with pytest.raises(VCDPhaseError):
vcd.flush()
def test_vcd_change_after_close(capsys):
vcd = VCDWriter(sys.stdout, date='')
var = vcd.register_var('a', 'b', 'integer')
assert not split_lines(capsys)
vcd.close()
with pytest.raises(VCDPhaseError):
vcd.change(var, 1, 1)
with pytest.raises(VCDPhaseError):
vcd.flush()
def test_vcd_flush(capsys):
vcd = VCDWriter(sys.stdout, date='today')
assert not split_lines(capsys)
vcd.flush(17)
lines = split_lines(capsys)
assert lines[-1] == '#17'
def test_vcd_flush(capsys):
vcd = VCDWriter(sys.stdout, date='today')
assert not split_lines(capsys)
vcd.flush(17)
lines = split_lines(capsys)
assert lines[-1] == '#17'
