packages/contracts-bedrock/test/kontrol/proofs/OptimismPortal.k.sol · cce7f9c3011ce03d5b81acb0c6e63f1f898ca5b7 · exchain / nebula · GitLab

Blame History Permalink

Update `expectRevert` reason in `OptimismPortalKontrol` & bump Kontrol version (#10159) · fa19f9aa
Juan C authored Apr 16, 2024
```
* versions.json: bump Kontrol from `0.1.196` to `0.1.247`

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

OptimismPortal.k.sol 8.02 KB