From dcbc558ad7859cd33b1d7a404eefe14485b10a5c Mon Sep 17 00:00:00 2001
From: Sam Alws <sam.alws@trailofbits.com>
Date: Thu, 11 Jan 2024 12:33:32 -0500
Subject: [PATCH] fix tests

---
 tests/solidity/basic/immutable-2.sol | 4 ++--
 tests/solidity/basic/immutable-3.sol | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/solidity/basic/immutable-2.sol b/tests/solidity/basic/immutable-2.sol
index 7275027ce..88f16fe2e 100644
--- 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
index 84b7691a8..5a61c26ff 100644
--- 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 {