cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Append an issue id #1043 to a @todo comment about it

Browse Source
This commit is contained in:
Yoichi Hirai 2016-09-07 15:20:19 +02:00
parent 940c5a8612
commit 0a8f0fb051
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libsolidity/formal/Why3Translator.h
View File

@ -36,7 +36,7 @@ class SourceUnit;
/** /**
* Simple translator from Solidity to Why3. * Simple translator from Solidity to Why3.
* *
* @todo detect side effects in sub-expressions and limit them to one per statement. * @todo detect side effects in sub-expressions and limit them to one per statement. #1043
* @todo `x = y = z` * @todo `x = y = z`
* @todo implicit and explicit type conversion * @todo implicit and explicit type conversion
*/ */