diff README @ 9179:11516ac4fbda

hasNoFinalizer-assumption: generate class files for testcase
author Bernhard Urban <bernhard.urban@jku.at>
date Wed, 17 Apr 2013 15:08:15 +0000
parents a61af66fc99e
children
line wrap: on
line diff