from lizard.core.rtl.proc_harness_rtl import asm_test


def test_basic():
  asm_test(
      """
  addi x1, x0, 42
  addi x2, x1, 1
  nop
  nop
  nop
  nop
  nop
  nop
  csrw proc2mngr, x2 > 43
  """,
      True,
      'proc.vcd',
      max_cycles=200)
