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

Update tests.

Browse Source
This commit is contained in:
chriseth
2021-08-13 16:05:08 +02:00
parent c60609e6d5
commit 45fc4baafa
6 changed files with 9 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/libsolidity/smtCheckerTests/operators/fixed_point_compound_add.sol
+1
View File
@@ -5,3 +5,4 @@ contract C {
// ====
// SMTEngine: all
// ----
// TypeError 7366: (52-61): Operator += not compatible with types fixed128x18 and int_const 1
test/libsolidity/smtCheckerTests/operators/shifts/shr_unused.sol
+1 -1
View File
@@ -7,4 +7,4 @@ contract C {
// ====
// SMTEngine: all
// ----
// UnimplementedFeatureError: Not yet implemented - FixedPointType.
// TypeError 2271: (61-68): Operator >>> not compatible with types fixed128x18 and int_const 6. Arithmetic operators on fixed point types are not yet supported.