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