fix tests

crytic · Jan 11, 2024 · dcbc558 · dcbc558
1 parent bad2d74
commit dcbc558
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/tests/solidity/basic/immutable-2.sol b/tests/solidity/basic/immutable-2.sol
@@ -2,14 +2,14 @@ import "./immutable-3.sol";
 
 contract C {
   D d;
-  constructor() {
+  constructor() public {
     d = new D(0);
   }
   function set(uint256 n) external {
     d = new D(n);
     d.set();
   }
-  function echidna_test() public returns (bool) {
+  function echidna_test() external returns (bool) {
     return d.state();
   }
 }
diff --git a/tests/solidity/basic/immutable-3.sol b/tests/solidity/basic/immutable-3.sol
@@ -1,7 +1,7 @@
 contract D {
   uint256 public immutable n;
   bool public state = true;
-  constructor(uint256 _n) {
+  constructor(uint256 _n) public {
     n = _n;
   }
   function set() external {