Package de.uka.ilkd.key.rule.metaconstruct

Failed tests

• TestProgramMetaConstructs. testBugId183()
• TestProgramMetaConstructs. testDoBreak()
• TestProgramMetaConstructs. testForInitUnfoldTransformer1()
• TestProgramMetaConstructs. testForInitUnfoldTransformer2()
• TestProgramMetaConstructs. testForInitUnfoldTransformer3()
• TestProgramMetaConstructs. testTypeOf()

Ignored tests

• TestProgramMetaConstructs. testASTWalker()

Classes