comparison test/runtime/NMT/ShutdownTwice.java @ 10487:e5dae076b467

PartialEvaluator: report node count difference (+/-) instead of new node count
author Andreas Woess <andreas.woess@jku.at>
date Sun, 23 Jun 2013 14:42:15 +0200
parents 879c6de913d6
children ac12996df59b
comparison
equal deleted inserted replaced
10486:b42db1748ff2 10487:e5dae076b467