<filename>ve/fwrisc_decode_formal/formal/tests/fwrisc_decode_formal_all_sims.py<gh_stars>1-10

import fwrisc_decode_formal_tests


def suite():
  print("suite: " + str(fwrisc_decode_formal_tests))
  pass

<filename>ve/fwrisc_decode_formal/formal/tests/fwrisc_decode_formal_all_sims.py<gh_stars>1-10

import fwrisc_decode_formal_tests


def suite():
  print("suite: " + str(fwrisc_decode_formal_tests))
  pass
