test: property-id 1

defi-wonderland · Nov 19, 2024 · 730db68 · 730db68
1 parent c0ffee6
commit 730db68
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 7 deletions.
diff --git a/test/invariants/handlers/HandlerEBORequestCreator.t.sol b/test/invariants/handlers/HandlerEBORequestCreator.t.sol
@@ -25,6 +25,13 @@ contract HandlerEBORequestCreator is BaseHandler {
     // Get current request data
     IOracle.Request memory requestData = eboRequestCreator.getRequestData();
 
+    // Build request module parameters
+    IEBORequestModule.RequestParameters memory requestParams =
+      abi.decode(requestData.requestModuleData, (IEBORequestModule.RequestParameters));
+    requestParams.epoch = _epoch;
+    requestParams.chainId = chainId;
+    requestData.requestModuleData = abi.encode(requestParams);
+
     // Calculate request ID using same logic as Oracle
     bytes32 requestId = keccak256(abi.encode(requestData));
 

diff --git a/test/invariants/properties/PropertyEbo.t.sol → ...roperties/PropertyEBORequestCreator.t.sol b/test/invariants/properties/PropertyEbo.t.sol → ...roperties/PropertyEBORequestCreator.t.sol
@@ -3,14 +3,16 @@ pragma solidity 0.8.26;
 
 import {HandlerParent} from '../handlers/HandlerParent.t.sol';
 
-contract PropertyEbo is HandlerParent {
+contract PropertyEBORequestCreator is HandlerParent {
   //solhint-disable no-empty-blocks
   constructor() {}
 
   /// @custom:property-id 1
   /// @custom:property Requester can always create a request as long as the same chainId/epoch isn't requested yet
-  // function property_canAlwaysCreateRequest(uint256 _epoch, uint256 _chainId) external {
-  //   _epoch = _boundEpoch(_epoch);
-  //   string memory _chainId = _generateChainId(_chainId);
-  // }
+  function property_canAlwaysCreateRequest(uint256 _epoch, uint256 _chainIdSeed) external {
+    try HandlerParent(this).handleCreateRequest(_epoch, _chainIdSeed) {}
+    catch {
+      assert(false);
+    }
+  }
 }
diff --git a/test/invariants/properties/PropertyParent.t.sol b/test/invariants/properties/PropertyParent.t.sol
@@ -1,10 +1,10 @@
 // SPDX-License-Identifier: MIT
 pragma solidity 0.8.26;
 
-import {PropertyEbo} from './PropertyEbo.t.sol';
+import {PropertyEBORequestCreator} from './PropertyEBORequestCreator.t.sol';
 import {PropertySanityCheck} from './PropertySanityCheck.t.sol';
 
-contract PropertyParent is PropertyEbo, PropertySanityCheck {
+contract PropertyParent is PropertyEBORequestCreator, PropertySanityCheck {
   //solhint-disable no-empty-blocks
   constructor() {}
 }