Instances For
Instances For
- passUnderTest : Lean.Compiler.LCNF.Pass
- testName : Lake.Name
Instances For
- decls : Array Lean.Compiler.LCNF.Decl
Instances For
- input : Array Lean.Compiler.LCNF.Decl
- output : Array Lean.Compiler.LCNF.Decl
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
Instances For
If property is false throw an exception with msg.
Instances For
Install an assertion pass right after a specific occurrence of a pass, default is first.
Instances For
Install an assertion pass right after each occurrence of a pass.
Instances For
Install an assertion pass right after a specific occurrence of a pass, default is first. The assertion operates on a per declaration basis.
Instances For
Install an assertion pass right after the each occurrence of a pass. The assertion operates on a per declaration basis.
Instances For
Replace a specific occurrence, default is first, of a pass with a wrapper one that allows the user to provide an assertion which takes into account both the declarations that were sent to and produced by the pass under test.
Instances For
Replace all occurrences of a pass with a wrapper one that allows the user to provide an assertion which takes into account both the declarations that were sent to and produced by the pass under test.
Instances For
Insert a pass after passUnderTestName, that ensures, that if
passUnderTestName is executed twice in a row, no change in the resulting
expression will occur, i.e. the pass is at a fix point.
Instances For
Compare the overall sizes of the input and output of passUnderTest with assertion.
If assertion inputSize outputSize is false throw an exception with msg.
Instances For
Assert that the overall size of the Decls in the compilation pipeline does not change
after passUnderTestName.
Instances For
Assert that the overall size of the Decls in the compilation pipeline gets reduced by passUnderTestName.
Instances For
Assert that the overall size of the Decls in the compilation pipeline gets reduced or stays unchanged
by passUnderTestName.
Instances For
Assert that the pass under test produces Decls that do not contain
Expr.const constName in their Code.let values anymore.