AbstractInterpreterTests (infer.UnitTests.AbstractInterpreterTests)

module F = Stdlib.Format

Test the generic abstract interpreter by using a simple path counting domain. Path counting is actually a decent stress test--if you join too much/too little, you'll over/under-count, and you'll diverge at loops if you don't widen

module PathCountDomain : sig ... end

module PathCountTransferFunctions (CFG : Absint.ProcCfg.S) : sig ... end

module NormalTestInterpreter : sig ... end

module ExceptionalTestInterpreter : sig ... end

val tests : OUnit2.test