fix: make test invariant contracts use same name as its file

QGarchery · QGarchery · commit 612c27408895 · 2023-01-02T14:10:25.000+01:00
diff --git a/test/TestHeapOrderingInvariant.t.sol b/test/TestHeapOrderingInvariant.t.sol
@@ -20,7 +20,7 @@ contract Heap is ConcreteHeapOrdering {
     }
 }
 
-contract TestHeapInvariant is Test {
+contract TestHeapOrderingInvariant is Test {
     Heap public heap;
 
     function setUp() public {
diff --git a/test/TestThreeHeapOrderingInvariant.t.sol b/test/TestThreeHeapOrderingInvariant.t.sol
@@ -20,7 +20,7 @@ contract Heap is ConcreteThreeHeapOrdering {
     }
 }
 
-contract TestHeapInvariant is Test {
+contract TestThreeHeapOrderingInvariant is Test {
     Heap public heap;
 
     function setUp() public {

Original file line number	Diff line number	Diff line change
`@@ -20,7 +20,7 @@ contract Heap is ConcreteHeapOrdering {`
`20`	`20`	`}`
`21`	`21`	`}`
`22`	`22`
`23`		`-contract TestHeapInvariant is Test {`
	`23`	`+contract TestHeapOrderingInvariant is Test {`
`24`	`24`	`Heap public heap;`
`25`	`25`
`26`	`26`	`function setUp() public {`