
import unittest
from unittest.suite import TestSuite
from unittest.case import TestCase
from vsr.compound_suite import CompoundSuite
import os


print("Hello from fwrisc_decode_formal")

print("pre-formal_dir")
formal_dir = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
print("formal_dir: " + str(formal_dir))

# Make it easy for users to point out where subtest-suites live
os.sys.path.append(os.path.join(formal_dir, "tests"))
print("pre-import")
import fwrisc_decode_formal_tests
print("post-import")


def suite():
    print("Test Suite")
    all = CompoundSuite()
    
    loader = unittest.TestLoader()
    tests = loader.loadTestsFromModule(fwrisc_decode_formal_tests)
    print("fwrisc_decode_formal_tests=" + str(fwrisc_decode_formal_tests))
    all.addTests(tests)
    
    return all