Package de.uka.ilkd.key.taclettranslation

Failed tests

• TestTacletTranslator. testNegativePolarity()
• TestTacletTranslator. testNoPolarity()
• TestTacletTranslator. testPositivePolarity()
• TestTacletTranslator. testPropositional1()
• TestTacletTranslator. testPropositional2()

Classes