Open
Description
🚀 Feature
As one of the core principles of Thunder is having a dataflow from input to output, there should be some tests to verify that the transformations respect that.
Simple example of test might be to run dce on the trace we wish to check. If the trace is not runnable anymore after dce, then the dataflow was not correct.
cc @mruberry