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

Merge pull request #1044 from pirapira/todo_item_to_issue

Browse Source 
Append an issue id #1043 to a @todo comment about it
This commit is contained in:
chriseth 2016-09-07 18:23:22 +02:00 committed by GitHub
commit f4172d342a
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
*/ */