diff mx/JUnitWrapper.java @ 11676:435c8b984680

Distinguish inputs and successors in in-place updates.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 17 Sep 2013 01:14:21 +0200
parents f38f746f4980
children f2132fab8a6f 12f2b3baa163
line wrap: on
line diff