Update expectRevert reason in OptimismPortalKontrol & bump Kontro…

…l version (#10159)

* versions.json: bump Kontrol from `0.1.196` to `0.1.247`

* OptimismPortal.k.sol: update `expectRevert` reasons

packages/contracts-bedrock/test/kontrol/proofs/OptimismPortal.k.sol

@@ -8,6 +8,7 @@ import {
     IOptimismPortal as OptimismPortal,
     ISuperchainConfig as SuperchainConfig
 } from "./interfaces/KontrolInterfaces.sol";
+import "src/libraries/PortalErrors.sol";
 
 contract OptimismPortalKontrol is DeploymentSummary, KontrolUtils {
     OptimismPortal optimismPortal;
@@ -27,7 +28,10 @@ contract OptimismPortalKontrol is DeploymentSummary, KontrolUtils {
         vm.prank(optimismPortal.guardian());
         superchainConfig.pause("identifier");
 
-        vm.expectRevert("OptimismPortal: paused");
+        // We need to encode the error selector as bytes instead of bytes4 because the bytes4 signature
+        // it's not currently supported
+        // Tracking issue: https://github.com/runtimeverification/kontrol/issues/466
+        vm.expectRevert(abi.encodeWithSelector(CallPaused.selector));
         optimismPortal.finalizeWithdrawalTransaction(_tx);
     }
 
@@ -48,7 +52,10 @@ contract OptimismPortalKontrol is DeploymentSummary, KontrolUtils {
         vm.prank(optimismPortal.guardian());
         superchainConfig.pause("identifier");
 
-        vm.expectRevert("OptimismPortal: paused");
+        // We need to encode the error selector as bytes instead of bytes4 because the bytes4 signature
+        // it's not currently supported
+        // Tracking issue: https://github.com/runtimeverification/kontrol/issues/466
+        vm.expectRevert(abi.encodeWithSelector(CallPaused.selector));
         optimismPortal.proveWithdrawalTransaction(_tx, _l2OutputIndex, _outputRootProof, _withdrawalProof);
     }
 

versions.json

@@ -4,5 +4,5 @@
   "geth": "v1.13.14",
   "nvm": "v20.9.0",
   "slither": "0.10.0",
-  "kontrol": "0.1.196"
+  "kontrol": "0.1.247"
 }