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

Add name for split-test to prevent failure in other places

Browse Source
This commit is contained in:
Mathias Baumann 2020-09-29 10:21:52 +02:00
parent 5cf84c0f83
commit 4c02cd2310
6 changed files with 9 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
test/libsolidity/smtCheckerTests/imports/imported_fail_1.sol
View File

@ -1,4 +1,4 @@
==== Source: ====
==== Source: C.sol ====
import "B.sol";
pragma experimental SMTChecker;
contract C is B {
@ -21,5 +21,4 @@ contract B is A {
}
}
// ----
// Warning 6328: (103-117): CHC: Assertion violation happens here.
// Warning 6328: (B.sol:71-85): CHC: Assertion violation happens here.
// Warning 6328: (C.sol:103-117): CHC: Assertion violation happens here.

4
test/libsolidity/smtCheckerTests/imports/imported_fail_2.sol
View File

@ -1,4 +1,4 @@
==== Source: ====
==== Source: C.sol ====
import "B.sol";
pragma experimental SMTChecker;
contract C is B {
@ -23,5 +23,5 @@ contract B is A {
}
// ----
// Warning 6328: (B.sol:103-117): CHC: Assertion violation happens here.
// Warning 6328: (103-117): CHC: Assertion violation happens here.
// Warning 6328: (B.sol:103-117): CHC: Assertion violation happens here.
// Warning 6328: (C.sol:103-117): CHC: Assertion violation happens here.

4
test/libsolidity/smtCheckerTests/imports/imported_fail_3.sol
View File

@ -1,4 +1,4 @@
==== Source: ====
==== Source: C.sol ====
import "A.sol";
pragma experimental SMTChecker;
contract C is A {
@ -22,5 +22,5 @@ contract B is A {
}
}
// ----
// Warning 6328: (103-117): CHC: Assertion violation happens here.
// Warning 6328: (B.sol:103-117): CHC: Assertion violation happens here.
// Warning 6328: (C.sol:103-117): CHC: Assertion violation happens here.

2
test/libsolidity/smtCheckerTests/imports/simple.sol
View File

@ -1,6 +1,6 @@
==== Source: A.sol ====
contract A { function f() public {} }
==== Source:====
==== Source: B.sol ====
import "A.sol";
pragma experimental SMTChecker;
contract C is A {}

2
test/libsolidity/smtCheckerTests/imports/simple_imported_fail_no_pragma.sol
View File

@ -1,4 +1,4 @@
==== Source: ====
==== Source: B.sol ====
import "A.sol";
pragma experimental SMTChecker;
contract C is A {}

2
test/libsolidity/smtCheckerTests/imports/simple_imported_fail_two_pragmas.sol
View File

@ -1,4 +1,4 @@
==== Source: ====
==== Source: B.sol ====
import "A.sol";
pragma experimental SMTChecker;
contract C is A {}