comparison 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
comparison
equal deleted inserted replaced
10088:9d0c16df0bc7 10089:97e8cabe9064