diff test/testlibrary/OutputAnalyzerTest.java @ 10089:97e8cabe9064

fix canonicalization of UnsafeStoreNode: preserve stateAfter
author Andreas Woess <andreas.woess@jku.at>
date Wed, 19 Jun 2013 15:29:37 +0200
parents 3b890cd4da64
children 9e11762cee52
line wrap: on
line diff