some tests should be full pipeline (or partial), for example, seeing if a TSL-MT spec is realizable. eventually would like to have a true full pipeline from spec to run tests on generated code and checking that the generated trace matches the original spec
some tests should be full pipeline (or partial), for example, seeing if a TSL-MT spec is realizable. eventually would like to have a true full pipeline from spec to run tests on generated code and checking that the generated trace matches the original spec