transformation-verifier

Verifies that code slob that was transformed into clean code does not modify the original behavior of the code. Use when the user asks to verify code by providing you with a directory of the files.