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

ethereum · Sep 29, 2020 · 63b8f78 · 63b8f78
1 parent d23aff4
commit 63b8f78
Show file tree

Hide file tree

Showing 6 changed files with 9 additions and 10 deletions.
diff --git a/test/libsolidity/smtCheckerTests/imports/imported_fail_1.sol b/test/libsolidity/smtCheckerTests/imports/imported_fail_1.sol
@@ -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.
diff --git a/test/libsolidity/smtCheckerTests/imports/imported_fail_2.sol b/test/libsolidity/smtCheckerTests/imports/imported_fail_2.sol
@@ -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.
diff --git a/test/libsolidity/smtCheckerTests/imports/imported_fail_3.sol b/test/libsolidity/smtCheckerTests/imports/imported_fail_3.sol
@@ -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.
diff --git a/test/libsolidity/smtCheckerTests/imports/simple.sol b/test/libsolidity/smtCheckerTests/imports/simple.sol
@@ -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 {}
diff --git a/test/libsolidity/smtCheckerTests/imports/simple_imported_fail_no_pragma.sol b/test/libsolidity/smtCheckerTests/imports/simple_imported_fail_no_pragma.sol
@@ -1,4 +1,4 @@
-==== Source:  ====
+==== Source: B.sol ====
 import "A.sol";
 pragma experimental SMTChecker;
 contract C is A {}

diff --git a/test/libsolidity/smtCheckerTests/imports/simple_imported_fail_two_pragmas.sol b/test/libsolidity/smtCheckerTests/imports/simple_imported_fail_two_pragmas.sol
@@ -1,4 +1,4 @@
-==== Source:  ====
+==== Source: B.sol ====
 import "A.sol";
 pragma experimental SMTChecker;
 contract C is A {}