146147148149150151152153
// } assertEquals( 4, subsumptionList.size() ); verifier.dispose(); } }
6970717273747576777879
} } assertEquals( 2, count ); verifier.dispose(); } // /** // * Empty pattern // * @throws Exception
7374757677787980818283
} } assertEquals( 1, count ); verifier.dispose(); } /** * Empty pattern * @throws Exception
112113114115116117118119120121122
} } assertEquals( 1, count ); verifier.dispose(); } /** * Different sources * @throws Exception
151152153154155156157158159160161
} } assertEquals( 1, count ); verifier.dispose(); } /** * Patterns that use from * @throws Exception
190191192193194195196197198199200
229230231232233234235236
} } assertEquals( 8, count ); verifier.dispose(); } }
808182838485868788
// Has at least one item. assertEquals( 1, counter ); verifier.dispose(); } }
6263646566676869
assertEquals( 2, subsumptionList.size() ); assertEquals( 1, redundancyList.size() ); verifier.dispose(); } }
334335336337338339340341342343344
assertEquals( 1, containsMessageType( notes, MessageType.ALWAYS_FALSE ) ); verifier.dispose(); } private int containsMessageType(Collection<VerifierMessageBase> notes, MessageType type) { int amount = 0;