#5 Batch 50

mojtaba-eshghie · Sep 4, 2024 · 44841fe · 44841fe
1 parent ff17af5
commit 44841fe
Show file tree

Hide file tree

Showing 397 changed files with 73,136 additions and 0 deletions.
diff --git a/contracts/mutants/BalanceDripExposed/1/BOR/BalanceDripExposed.sol b/contracts/mutants/BalanceDripExposed/1/BOR/BalanceDripExposed.sol
@@ -0,0 +1,88 @@
+pragma solidity >=0.6.0 <0.7.0;
+
+import "../drip/BalanceDrip.sol";
+
+contract BalanceDripExposed {
+  using BalanceDrip for BalanceDrip.State;
+
+  event DrippedTotalSupply(
+    uint256 newTokens
+  );
+
+  event Dripped(
+    address indexed user,
+    uint256 newTokens
+  );
+
+  BalanceDrip.State internal dripState;
+
+  function setDripRate(
+    uint256 dripRatePerSecond
+  ) external {
+    dripState.dripRatePerSecond = dripRatePerSecond;
+  }
+
+  function drip(
+    uint256 measureTotalSupply,
+    uint256 currentTime,
+    uint256 maxNewTokens
+  ) external returns (uint256) {
+    uint256 newTokens = dripState.drip(
+      measureTotalSupply,
+      currentTime,
+      maxNewTokens
+    );
+
+    emit DrippedTotalSupply(newTokens);
+
+    return newTokens;
+  }
+
+  function captureNewTokensForUser(
+    address user,
+    uint256 userMeasureBalance
+  ) external returns (uint128) {
+    uint128 newTokens = dripState.captureNewTokensForUser(
+      user,
+      userMeasureBalance
+    );
+
+    emit Dripped(user, newTokens);
+
+    return newTokens;
+  }
+
+  function dripTwice(
+    uint256 measureTotalSupply,
+    uint256 currentTime,
+    uint256 maxNewTokens
+  ) external returns (uint256) {
+    uint256 newTokens = dripState.drip(
+      measureTotalSupply,
+      currentTime,
+      maxNewTokens
+    );
+
+    newTokens = newTokens - dripState.drip(
+      measureTotalSupply,
+      currentTime,
+      maxNewTokens
+    );
+
+    emit DrippedTotalSupply(newTokens);
+
+    return newTokens;
+  }
+
+  function exchangeRateMantissa() external view returns (uint256) {
+    return dripState.exchangeRateMantissa;
+  }
+
+  function totalDripped() external view returns (uint256) {
+    return dripState.totalDripped;
+  }
+
+  function resetTotalDripped() external {
+    dripState.resetTotalDripped();
+  }
+}
diff --git a/contracts/mutants/BalanceDripExposed/1/EED/BalanceDripExposed.sol b/contracts/mutants/BalanceDripExposed/1/EED/BalanceDripExposed.sol
@@ -0,0 +1,88 @@
+pragma solidity >=0.6.0 <0.7.0;
+
+import "../drip/BalanceDrip.sol";
+
+contract BalanceDripExposed {
+  using BalanceDrip for BalanceDrip.State;
+
+  event DrippedTotalSupply(
+    uint256 newTokens
+  );
+
+  event Dripped(
+    address indexed user,
+    uint256 newTokens
+  );
+
+  BalanceDrip.State internal dripState;
+
+  function setDripRate(
+    uint256 dripRatePerSecond
+  ) external {
+    dripState.dripRatePerSecond = dripRatePerSecond;
+  }
+
+  function drip(
+    uint256 measureTotalSupply,
+    uint256 currentTime,
+    uint256 maxNewTokens
+  ) external returns (uint256) {
+    uint256 newTokens = dripState.drip(
+      measureTotalSupply,
+      currentTime,
+      maxNewTokens
+    );
+
+    /* emit DrippedTotalSupply(newTokens); */
+
+    return newTokens;
+  }
+
+  function captureNewTokensForUser(
+    address user,
+    uint256 userMeasureBalance
+  ) external returns (uint128) {
+    uint128 newTokens = dripState.captureNewTokensForUser(
+      user,
+      userMeasureBalance
+    );
+
+    emit Dripped(user, newTokens);
+
+    return newTokens;
+  }
+
+  function dripTwice(
+    uint256 measureTotalSupply,
+    uint256 currentTime,
+    uint256 maxNewTokens
+  ) external returns (uint256) {
+    uint256 newTokens = dripState.drip(
+      measureTotalSupply,
+      currentTime,
+      maxNewTokens
+    );
+
+    newTokens = newTokens + dripState.drip(
+      measureTotalSupply,
+      currentTime,
+      maxNewTokens
+    );
+
+    emit DrippedTotalSupply(newTokens);
+
+    return newTokens;
+  }
+
+  function exchangeRateMantissa() external view returns (uint256) {
+    return dripState.exchangeRateMantissa;
+  }
+
+  function totalDripped() external view returns (uint256) {
+    return dripState.totalDripped;
+  }
+
+  function resetTotalDripped() external {
+    dripState.resetTotalDripped();
+  }
+}
diff --git a/contracts/mutants/BalanceDripExposed/1/FVR/BalanceDripExposed.sol b/contracts/mutants/BalanceDripExposed/1/FVR/BalanceDripExposed.sol
@@ -0,0 +1,88 @@
+pragma solidity >=0.6.0 <0.7.0;
+
+import "../drip/BalanceDrip.sol";
+
+contract BalanceDripExposed {
+  using BalanceDrip for BalanceDrip.State;
+
+  event DrippedTotalSupply(
+    uint256 newTokens
+  );
+
+  event Dripped(
+    address indexed user,
+    uint256 newTokens
+  );
+
+  BalanceDrip.State internal dripState;
+
+  function setDripRate(
+    uint256 dripRatePerSecond
+  ) public {
+    dripState.dripRatePerSecond = dripRatePerSecond;
+  }
+
+  function drip(
+    uint256 measureTotalSupply,
+    uint256 currentTime,
+    uint256 maxNewTokens
+  ) external returns (uint256) {
+    uint256 newTokens = dripState.drip(
+      measureTotalSupply,
+      currentTime,
+      maxNewTokens
+    );
+
+    emit DrippedTotalSupply(newTokens);
+
+    return newTokens;
+  }
+
+  function captureNewTokensForUser(
+    address user,
+    uint256 userMeasureBalance
+  ) external returns (uint128) {
+    uint128 newTokens = dripState.captureNewTokensForUser(
+      user,
+      userMeasureBalance
+    );
+
+    emit Dripped(user, newTokens);
+
+    return newTokens;
+  }
+
+  function dripTwice(
+    uint256 measureTotalSupply,
+    uint256 currentTime,
+    uint256 maxNewTokens
+  ) external returns (uint256) {
+    uint256 newTokens = dripState.drip(
+      measureTotalSupply,
+      currentTime,
+      maxNewTokens
+    );
+
+    newTokens = newTokens + dripState.drip(
+      measureTotalSupply,
+      currentTime,
+      maxNewTokens
+    );
+
+    emit DrippedTotalSupply(newTokens);
+
+    return newTokens;
+  }
+
+  function exchangeRateMantissa() external view returns (uint256) {
+    return dripState.exchangeRateMantissa;
+  }
+
+  function totalDripped() external view returns (uint256) {
+    return dripState.totalDripped;
+  }
+
+  function resetTotalDripped() external {
+    dripState.resetTotalDripped();
+  }
+}
diff --git a/contracts/mutants/BalanceDripExposed/1/RSD/BalanceDripExposed.sol b/contracts/mutants/BalanceDripExposed/1/RSD/BalanceDripExposed.sol
@@ -0,0 +1,88 @@
+pragma solidity >=0.6.0 <0.7.0;
+
+import "../drip/BalanceDrip.sol";
+
+contract BalanceDripExposed {
+  using BalanceDrip for BalanceDrip.State;
+
+  event DrippedTotalSupply(
+    uint256 newTokens
+  );
+
+  event Dripped(
+    address indexed user,
+    uint256 newTokens
+  );
+
+  BalanceDrip.State internal dripState;
+
+  function setDripRate(
+    uint256 dripRatePerSecond
+  ) external {
+    dripState.dripRatePerSecond = dripRatePerSecond;
+  }
+
+  function drip(
+    uint256 measureTotalSupply,
+    uint256 currentTime,
+    uint256 maxNewTokens
+  ) external returns (uint256) {
+    uint256 newTokens = dripState.drip(
+      measureTotalSupply,
+      currentTime,
+      maxNewTokens
+    );
+
+    emit DrippedTotalSupply(newTokens);
+
+    /* return newTokens; */
+  }
+
+  function captureNewTokensForUser(
+    address user,
+    uint256 userMeasureBalance
+  ) external returns (uint128) {
+    uint128 newTokens = dripState.captureNewTokensForUser(
+      user,
+      userMeasureBalance
+    );
+
+    emit Dripped(user, newTokens);
+
+    return newTokens;
+  }
+
+  function dripTwice(
+    uint256 measureTotalSupply,
+    uint256 currentTime,
+    uint256 maxNewTokens
+  ) external returns (uint256) {
+    uint256 newTokens = dripState.drip(
+      measureTotalSupply,
+      currentTime,
+      maxNewTokens
+    );
+
+    newTokens = newTokens + dripState.drip(
+      measureTotalSupply,
+      currentTime,
+      maxNewTokens
+    );
+
+    emit DrippedTotalSupply(newTokens);
+
+    return newTokens;
+  }
+
+  function exchangeRateMantissa() external view returns (uint256) {
+    return dripState.exchangeRateMantissa;
+  }
+
+  function totalDripped() external view returns (uint256) {
+    return dripState.totalDripped;
+  }
+
+  function resetTotalDripped() external {
+    dripState.resetTotalDripped();
+  }
+}