tag | a9fdf589eabc57ed9d78202c9dce7d45551bb647 | |
---|---|---|
tagger | Dennis Huebner <dennis.huebner@itemis.de> | Wed Oct 01 13:45:40 2014 +0200 |
object | 5b08f92e96ac553a81778e800c82f641bb4dabfd |
Luna SR1 v2.10.1
commit | 5b08f92e96ac553a81778e800c82f641bb4dabfd | [log] [tgz] |
---|---|---|
author | Ed Merks <ed.merks@gmail.com> | Wed Aug 27 15:23:07 2014 +0200 |
committer | Ed Merks <ed.merks@gmail.com> | Wed Aug 27 15:24:33 2014 +0200 |
tree | 3601555fdc5f1d2e82f49aaa45a55bf431f5e9a8 | |
parent | d273ce0e21f06aa227f880a515ba96181709ed0a [diff] |
[442703] Consider in isInvariant that the operation's type can be null.