cerc-io/solidity
11
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

Fix wrong location for inline asm blocks

Browse Source
This commit is contained in:
Mathias Baumann
2019-04-15 16:40:07 +02:00
parent bf5792f7ca
commit efc8d79d53
5 changed files with 45 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/libsolidity/smtCheckerTests/inline_assembly/empty.sol
+1 -1
View File
@@ -8,4 +8,4 @@ contract C
}
}
// ----
// Warning: (76-93): Assertion checker does not support inline assembly.
// Warning: (76-90): Assertion checker does not support inline assembly.
test/libsolidity/smtCheckerTests/inline_assembly/local_var.sol
+1 -1
View File
@@ -10,4 +10,4 @@ contract C
}
}
// ----
// Warning: (97-130): Assertion checker does not support inline assembly.
// Warning: (97-121): Assertion checker does not support inline assembly.