Merge pull request #104 from morpho-dao/fix/invariant-contract-name

QGarchery · web-flow · commit a6b48295ea0c · 2023-01-02T14:12:52.000+01:00
Fix invariant test contracts names
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 {`