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

Update current tests

Browse Source
This commit is contained in:
Leonardo Alt 2020-08-25 16:58:25 +02:00
parent e61b731647
commit afcd44e77c
22 changed files with 5 additions and 177 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
test/libsolidity/smtCheckerTests/array_members/length_1d_struct_array_1.sol
View File

@ -11,10 +11,3 @@ contract C {
}
}
// ----
// Warning 6328: (119-157): Assertion violation happens here
// Warning 8115: (76-80): Assertion checker does not yet support the type of this variable.
// Warning 8115: (83-87): Assertion checker does not yet support the type of this variable.
// Warning 7650: (126-132): Assertion checker does not yet support this expression.
// Warning 8364: (126-128): Assertion checker does not yet implement type struct C.S storage ref
// Warning 7650: (143-149): Assertion checker does not yet support this expression.
// Warning 8364: (143-145): Assertion checker does not yet implement type struct C.S storage ref

9
test/libsolidity/smtCheckerTests/array_members/length_1d_struct_array_2d_1.sol
View File

@ -11,12 +11,3 @@ contract C {
}
}
// ----
// Warning 6328: (121-165): Assertion violation happens here
// Warning 8115: (78-82): Assertion checker does not yet support the type of this variable.
// Warning 8115: (85-89): Assertion checker does not yet support the type of this variable.
// Warning 7650: (128-134): Assertion checker does not yet support this expression.
// Warning 8364: (128-130): Assertion checker does not yet implement type struct C.S storage ref
// Warning 9118: (128-137): Assertion checker does not yet implement this expression.
// Warning 7650: (148-154): Assertion checker does not yet support this expression.
// Warning 8364: (148-150): Assertion checker does not yet implement type struct C.S storage ref
// Warning 9118: (148-157): Assertion checker does not yet implement this expression.

10
test/libsolidity/smtCheckerTests/array_members/push_struct_member_1.sol
View File

@ -15,13 +15,3 @@ contract C {
}
// ----
// Warning 8115: (72-75): Assertion checker does not yet support the type of this variable.
// Warning 8115: (100-103): Assertion checker does not yet support the type of this variable.
// Warning 7650: (130-133): Assertion checker does not yet support this expression.
// Warning 8364: (130-131): Assertion checker does not yet implement type struct C.S storage ref
// Warning 9599: (130-133): Assertion checker does not yet implement this expression.
// Warning 7650: (144-149): Assertion checker does not yet support this expression.
// Warning 8364: (144-147): Assertion checker does not yet implement type struct C.S storage ref
// Warning 7650: (144-147): Assertion checker does not yet support this expression.
// Warning 8364: (144-145): Assertion checker does not yet implement type struct C.T storage ref
// Warning 9599: (144-149): Assertion checker does not yet implement this expression.

15
test/libsolidity/smtCheckerTests/array_members/push_struct_member_2.sol
View File

@ -16,18 +16,3 @@ contract C {
}
// ----
// Warning 8115: (72-75): Assertion checker does not yet support the type of this variable.
// Warning 8115: (102-105): Assertion checker does not yet support the type of this variable.
// Warning 7650: (132-135): Assertion checker does not yet support this expression.
// Warning 8364: (132-133): Assertion checker does not yet implement type struct C.S storage ref
// Warning 9599: (132-135): Assertion checker does not yet implement this expression.
// Warning 7650: (146-149): Assertion checker does not yet support this expression.
// Warning 8364: (146-147): Assertion checker does not yet implement type struct C.T storage ref
// Warning 8364: (146-156): Assertion checker does not yet implement type struct C.S storage ref
// Warning 9599: (146-149): Assertion checker does not yet implement this expression.
// Warning 7650: (160-168): Assertion checker does not yet support this expression.
// Warning 7650: (160-163): Assertion checker does not yet support this expression.
// Warning 8364: (160-161): Assertion checker does not yet implement type struct C.T storage ref
// Warning 8364: (160-166): Assertion checker does not yet implement type struct C.S storage ref
// Warning 9118: (160-166): Assertion checker does not yet implement this expression.
// Warning 9599: (160-168): Assertion checker does not yet implement this expression.

20
test/libsolidity/smtCheckerTests/complex/slither/data_dependency.sol
View File

@ -118,23 +118,3 @@ contract PropagateThroughReturnValue {
}
// ----
// Warning 2018: (1879-1947): Function state mutability can be restricted to view
// Warning 8115: (318-332): Assertion checker does not yet support the type of this variable.
// Warning 8115: (338-347): Assertion checker does not yet support the type of this variable.
// Warning 8115: (353-378): Assertion checker does not yet support the type of this variable.
// Warning 8115: (384-409): Assertion checker does not yet support the type of this variable.
// Warning 7650: (464-479): Assertion checker does not yet support this expression.
// Warning 8364: (464-475): Assertion checker does not yet implement type struct Reference.St storage ref
// Warning 8182: (464-494): Assertion checker does not yet implement such assignments.
// Warning 7650: (539-554): Assertion checker does not yet support this expression.
// Warning 8364: (539-550): Assertion checker does not yet implement type struct Reference.St storage ref
// Warning 7650: (557-567): Assertion checker does not yet support this expression.
// Warning 8364: (557-563): Assertion checker does not yet implement type struct Reference.St storage ref
// Warning 8182: (539-567): Assertion checker does not yet implement such assignments.
// Warning 8115: (629-643): Assertion checker does not yet support the type of this variable.
// Warning 8364: (646-668): Assertion checker does not yet implement type struct Reference.St storage ref
// Warning 8364: (700-703): Assertion checker does not yet implement type struct Reference.St storage pointer
// Warning 8364: (706-728): Assertion checker does not yet implement type struct Reference.St storage ref
// Warning 8364: (700-728): Assertion checker does not yet implement type struct Reference.St storage pointer
// Warning 7650: (748-755): Assertion checker does not yet support this expression.
// Warning 8364: (748-751): Assertion checker does not yet implement type struct Reference.St storage pointer
// Warning 8182: (748-770): Assertion checker does not yet implement such assignments.

2
test/libsolidity/smtCheckerTests/complex/warn_on_struct.sol
View File

@ -8,7 +8,5 @@ contract C {
}
// ----
// Warning 2072: (133-143): Unused local variable.
// Warning 8115: (133-143): Assertion checker does not yet support the type of this variable.
// Warning 8364: (146-147): Assertion checker does not yet implement type type(struct C.A storage pointer)
// Warning 8364: (146-163): Assertion checker does not yet implement type struct C.A memory
// Warning 4639: (146-163): Assertion checker does not yet implement this expression.

1
test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_storage_memory.sol
View File

@ -20,3 +20,4 @@ contract LoopFor2 {
}
// ----
// Warning 6328: (363-382): Assertion violation happens here
// Warning 4661: (316-336): Assertion violation happens here

1
test/libsolidity/smtCheckerTests/loops/for_loop_array_assignment_storage_storage.sol
View File

@ -21,3 +21,4 @@ contract LoopFor2 {
// ----
// Warning 6328: (341-360): Assertion violation happens here
// Warning 6328: (364-383): Assertion violation happens here
// Warning 4661: (317-337): Assertion violation happens here

3
test/libsolidity/smtCheckerTests/operators/compound_bitwise_or_3.sol
View File

@ -10,7 +10,4 @@ contract C {
}
}
// ----
// Warning 8115: (71-74): Assertion checker does not yet support the type of this variable.
// Warning 7650: (117-120): Assertion checker does not yet support this expression.
// Warning 8364: (117-118): Assertion checker does not yet implement type struct C.S storage ref
// Warning 9149: (117-125): Assertion checker does not yet implement this assignment operator.

4
test/libsolidity/smtCheckerTests/operators/compound_bitwise_or_4.sol
View File

@ -10,8 +10,4 @@ contract C {
}
}
// ----
// Warning 8115: (73-76): Assertion checker does not yet support the type of this variable.
// Warning 7650: (119-122): Assertion checker does not yet support this expression.
// Warning 8364: (119-120): Assertion checker does not yet implement type struct C.S storage ref
// Warning 9118: (119-125): Assertion checker does not yet implement this expression.
// Warning 9149: (119-130): Assertion checker does not yet implement this assignment operator.

14
test/libsolidity/smtCheckerTests/operators/delete_struct.sol
View File

@ -6,7 +6,7 @@ contract C
{
uint x;
}
function f(bool b) public {
function f(bool b) public pure {
S memory s;
s.x = 2;
if (b)
@ -17,15 +17,3 @@ contract C
}
}
// ----
// Warning 2018: (73-192): Function state mutability can be restricted to pure
// Warning 6328: (172-188): Assertion violation happens here
// Warning 8115: (103-113): Assertion checker does not yet support the type of this variable.
// Warning 7650: (117-120): Assertion checker does not yet support this expression.
// Warning 8364: (117-118): Assertion checker does not yet implement type struct C.S memory
// Warning 8182: (117-124): Assertion checker does not yet implement such assignments.
// Warning 8364: (145-146): Assertion checker does not yet implement type struct C.S memory
// Warning 7650: (165-168): Assertion checker does not yet support this expression.
// Warning 8364: (165-166): Assertion checker does not yet implement type struct C.S memory
// Warning 2683: (158-168): Assertion checker does not yet implement "delete" for this expression.
// Warning 7650: (179-182): Assertion checker does not yet support this expression.
// Warning 8364: (179-180): Assertion checker does not yet implement type struct C.S memory

1
test/libsolidity/smtCheckerTests/special/abi_decode_memory_v2.sol
View File

@ -8,7 +8,6 @@ contract C {
}
}
// ----
// Warning 8115: (151-159): Assertion checker does not yet support the type of this variable.
// Warning 8364: (206-209): Assertion checker does not yet implement type abi
// Warning 8364: (225-226): Assertion checker does not yet implement type type(struct C.S storage pointer)
// Warning 8364: (235-241): Assertion checker does not yet implement type type(uint256[] memory)

16
test/libsolidity/smtCheckerTests/types/array_struct_array_branches_2d.sol
View File

@ -14,19 +14,3 @@ contract C
}
}
// ----
// Warning 6328: (202-226): Assertion violation happens here
// Warning 7650: (124-130): Assertion checker does not yet support this expression.
// Warning 8364: (124-128): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (124-133): Assertion checker does not yet implement this expression.
// Warning 9056: (124-136): Assertion checker does not yet implement this expression.
// Warning 7650: (154-160): Assertion checker does not yet support this expression.
// Warning 8364: (154-158): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (154-163): Assertion checker does not yet implement this expression.
// Warning 9056: (154-166): Assertion checker does not yet implement this expression.
// Warning 7650: (182-188): Assertion checker does not yet support this expression.
// Warning 8364: (182-186): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (182-191): Assertion checker does not yet implement this expression.
// Warning 9056: (182-194): Assertion checker does not yet implement this expression.
// Warning 7650: (209-215): Assertion checker does not yet support this expression.
// Warning 8364: (209-213): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (209-218): Assertion checker does not yet implement this expression.

7
test/libsolidity/smtCheckerTests/types/enum_in_struct.sol
View File

@ -11,10 +11,3 @@ contract C
}
}
// ----
// Warning 6328: (187-208): Assertion violation happens here
// Warning 8115: (143-153): Assertion checker does not yet support the type of this variable.
// Warning 7650: (171-174): Assertion checker does not yet support this expression.
// Warning 8364: (171-172): Assertion checker does not yet implement type struct C.S memory
// Warning 8182: (171-183): Assertion checker does not yet implement such assignments.
// Warning 7650: (194-197): Assertion checker does not yet support this expression.
// Warning 8364: (194-195): Assertion checker does not yet implement type struct C.S memory

1
test/libsolidity/smtCheckerTests/types/fixed_bytes_access_3.sol
View File

@ -13,6 +13,5 @@ contract C {
}
}
// ----
// Warning 9118: (238-244): Assertion checker does not yet implement this expression.
// Warning 7989: (238-247): Assertion checker does not yet support index accessing fixed bytes.
// Warning 7989: (251-257): Assertion checker does not yet support index accessing fixed bytes.

3
test/libsolidity/smtCheckerTests/types/mapping_struct_assignment.sol
View File

@ -12,8 +12,5 @@ contract C
}
// ----
// Warning 6838: (140-144): Condition is always false.
// Warning 8364: (149-156): Assertion checker does not yet implement type struct C.S storage ref
// Warning 8364: (159-160): Assertion checker does not yet implement type type(struct C.S storage pointer)
// Warning 8364: (159-163): Assertion checker does not yet implement type struct C.S memory
// Warning 4639: (159-163): Assertion checker does not yet implement this expression.
// Warning 8364: (149-163): Assertion checker does not yet implement type struct C.S storage ref

1
test/libsolidity/smtCheckerTests/types/no_effect_statements.sol
View File

@ -17,7 +17,6 @@ contract test {
// Warning 6133: (156-163): Statement has no effect.
// Warning 8364: (125-126): Assertion checker does not yet implement type type(struct test.s storage pointer)
// Warning 8364: (130-131): Assertion checker does not yet implement type type(struct test.s storage pointer)
// Warning 8364: (130-136): Assertion checker does not yet implement type struct test.s memory
// Warning 4639: (130-136): Assertion checker does not yet implement this expression.
// Warning 8364: (140-141): Assertion checker does not yet implement type type(struct test.s storage pointer)
// Warning 8364: (140-144): Assertion checker does not yet implement type type(struct test.s memory[7] memory)

5
test/libsolidity/smtCheckerTests/types/struct_1.sol
View File

@ -15,12 +15,7 @@ contract C
}
// ----
// Warning 2072: (157-170): Unused local variable.
// Warning 8115: (157-170): Assertion checker does not yet support the type of this variable.
// Warning 8364: (139-146): Assertion checker does not yet implement type struct C.S storage ref
// Warning 8364: (149-150): Assertion checker does not yet implement type type(struct C.S storage pointer)
// Warning 8364: (149-153): Assertion checker does not yet implement type struct C.S memory
// Warning 4639: (149-153): Assertion checker does not yet implement this expression.
// Warning 8364: (139-153): Assertion checker does not yet implement type struct C.S storage ref
// Warning 8364: (173-174): Assertion checker does not yet implement type type(struct C.S storage pointer)
// Warning 8364: (173-177): Assertion checker does not yet implement type struct C.S memory
// Warning 4639: (173-177): Assertion checker does not yet implement this expression.

20
test/libsolidity/smtCheckerTests/types/struct_array_branches_1d.sol
View File

@ -3,7 +3,7 @@ pragma experimental SMTChecker;
contract C
{
struct S { uint[] a; }
function f(bool b) public {
function f(bool b) public pure {
S memory c;
c.a[0] = 0;
if (b)
@ -14,21 +14,3 @@ contract C
}
}
// ----
// Warning 2018: (71-197): Function state mutability can be restricted to pure
// Warning 6328: (175-193): Assertion violation happens here
// Warning 8115: (101-111): Assertion checker does not yet support the type of this variable.
// Warning 7650: (115-118): Assertion checker does not yet support this expression.
// Warning 8364: (115-116): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (115-121): Assertion checker does not yet implement this expression.
// Warning 9056: (115-121): Assertion checker does not yet implement this expression.
// Warning 7650: (139-142): Assertion checker does not yet support this expression.
// Warning 8364: (139-140): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (139-145): Assertion checker does not yet implement this expression.
// Warning 9056: (139-145): Assertion checker does not yet implement this expression.
// Warning 7650: (161-164): Assertion checker does not yet support this expression.
// Warning 8364: (161-162): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (161-167): Assertion checker does not yet implement this expression.
// Warning 9056: (161-167): Assertion checker does not yet implement this expression.
// Warning 7650: (182-185): Assertion checker does not yet support this expression.
// Warning 8364: (182-183): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (182-188): Assertion checker does not yet implement this expression.

20
test/libsolidity/smtCheckerTests/types/struct_array_branches_2d.sol
View File

@ -3,7 +3,7 @@ pragma experimental SMTChecker;
contract C
{
struct S { uint[][] a; }
function f(bool b) public {
function f(bool b) public pure {
S memory c;
c.a[0][0] = 0;
if (b)
@ -14,21 +14,3 @@ contract C
}
}
// ----
// Warning 2018: (73-211): Function state mutability can be restricted to pure
// Warning 6328: (186-207): Assertion violation happens here
// Warning 8115: (103-113): Assertion checker does not yet support the type of this variable.
// Warning 7650: (117-120): Assertion checker does not yet support this expression.
// Warning 8364: (117-118): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (117-123): Assertion checker does not yet implement this expression.
// Warning 9056: (117-126): Assertion checker does not yet implement this expression.
// Warning 7650: (144-147): Assertion checker does not yet support this expression.
// Warning 8364: (144-145): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (144-150): Assertion checker does not yet implement this expression.
// Warning 9056: (144-153): Assertion checker does not yet implement this expression.
// Warning 7650: (169-172): Assertion checker does not yet support this expression.
// Warning 8364: (169-170): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (169-175): Assertion checker does not yet implement this expression.
// Warning 9056: (169-178): Assertion checker does not yet implement this expression.
// Warning 7650: (193-196): Assertion checker does not yet support this expression.
// Warning 8364: (193-194): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (193-199): Assertion checker does not yet implement this expression.

17
test/libsolidity/smtCheckerTests/types/struct_array_branches_3d.sol
View File

@ -14,20 +14,3 @@ contract C
}
}
// ----
// Warning 6328: (202-226): Assertion violation happens here
// Warning 8115: (110-120): Assertion checker does not yet support the type of this variable.
// Warning 7650: (124-127): Assertion checker does not yet support this expression.
// Warning 8364: (124-125): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (124-130): Assertion checker does not yet implement this expression.
// Warning 9056: (124-136): Assertion checker does not yet implement this expression.
// Warning 7650: (154-157): Assertion checker does not yet support this expression.
// Warning 8364: (154-155): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (154-160): Assertion checker does not yet implement this expression.
// Warning 9056: (154-166): Assertion checker does not yet implement this expression.
// Warning 7650: (182-185): Assertion checker does not yet support this expression.
// Warning 8364: (182-183): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (182-188): Assertion checker does not yet implement this expression.
// Warning 9056: (182-194): Assertion checker does not yet implement this expression.
// Warning 7650: (209-212): Assertion checker does not yet support this expression.
// Warning 8364: (209-210): Assertion checker does not yet implement type struct C.S memory
// Warning 9118: (209-215): Assertion checker does not yet implement this expression.

5
test/libsolidity/smtCheckerTests/types/tuple_return_branch.sol
View File

@ -14,11 +14,6 @@ contract C {
}
}
// ----
// Warning 8115: (112-120): Assertion checker does not yet support the type of this variable.
// Warning 8364: (137-138): Assertion checker does not yet implement type type(struct C.S storage pointer)
// Warning 8364: (137-141): Assertion checker does not yet implement type struct C.S memory
// Warning 4639: (137-141): Assertion checker does not yet implement this expression.
// Warning 8115: (193-203): Assertion checker does not yet support the type of this variable.
// Warning 8364: (227-228): Assertion checker does not yet implement type struct C.S memory
// Warning 4639: (137-141): Assertion checker does not yet implement this expression.
// Warning 6191: (227-228): Assertion checker does not yet implement type struct C.S memory