commit | b8f5cfe6ee66c98e8c12661de8874e0c35b56b20 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Jun 18 17:18:08 2011 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat Jun 18 17:18:08 2011 +0000 |
tree | 09f99bd6c5c35f655131480d925b95f044698c8d | |
parent | f32820b5a778232cdb888217e8fa4cd2adf4fcfc [diff] |
Bugfix: arguments of a message send must be analyzed before checking against null contracts