UnitTest.lean

import UnitTest.Lexer
import UnitTest.Deriving
import UnitTest.ParserError
import UnitTest.Parser
import UnitTest.AttrParser
import UnitTest.MlirParser
import UnitTest.IR.Operation
import UnitTest.Dialect
import UnitTest.Verifier
import UnitTest.FP
import UnitTest.Bitblasting.Bitblasting
import UnitTest.DataFlowFramework.Dominance
import UnitTest.DataFlowFramework.DeadCodeAnalysis
import UnitTest.DataFlowFramework.EntryState
import UnitTest.DataFlowFramework.ModArithRangeAnalysis
import UnitTest.DataFlowFramework.KnownBitsAnalysis
import UnitTest.ModArithRangeAnalysis
import UnitTest.ConstantValue
import UnitTest.Evaluate
import UnitTest.FoldDecision
import UnitTest.SideEffectInterfaces
import UnitTest.RegionKindInterfaces
import UnitTest.Puddle
import UnitTest.BoundedBitblasting.BoundedBitblasting
import UnitTest.DataFlowFramework.SparseConstantPropagation