Path	Lines of Code
run_all_tests.sh	18
test/AbstractDomainPropertyTest.h	157
test/DirectProductAbstractDomainTest.cpp	123
test/DisjointUnionAbstractDomainTest.cpp	36
test/FiniteAbstractDomainTest.cpp	97
test/HashedAbstractEnvironmentTest.cpp	133
test/HashedAbstractPartitionTest.cpp	137
test/HashedSetAbstractDomainTest.cpp	128
test/InterproceduralAnalyzerTest.cpp	533
test/IntervalDomainTest.cpp	102
test/LiftedDomainTest.cpp	34
test/MonotonicFixpointIteratorTest.cpp	622
test/PatriciaTreeMapAbstractEnvironmentTest.cpp	234
test/PatriciaTreeMapAbstractPartitionTest.cpp	213
test/PatriciaTreeMapTest.cpp	165
test/PatriciaTreeOverUnderSetAbstractDomainTest.cpp	417
test/PatriciaTreeSetAbstractDomainTest.cpp	168
test/ReducedProductAbstractDomainTest.cpp	146
test/S_ExpressionTest.cpp	221
test/SetTest.cpp	232
test/SmallSortedSetAbstractDomainTest.cpp	159
test/SparseSetAbstractDomainTest.cpp	171
test/SpartaWorkQueueTest.cpp	71
test/WeakPartialOrderingTest.cpp	1129
test/WeakTopologicalOrderingTest.cpp	165