38 lines
930 B
Solidity
38 lines
930 B
Solidity
// SPDX-License-Identifier: MIT
|
|
pragma solidity ^0.8.23;
|
|
|
|
import "./TestToken.sol";
|
|
import "./Marketplace.sol";
|
|
import "./TestVerifier.sol";
|
|
|
|
contract FuzzMarketplace is Marketplace {
|
|
constructor()
|
|
Marketplace(
|
|
MarketplaceConfig(
|
|
CollateralConfig(10, 5, 3, 10),
|
|
ProofConfig(10, 5, 64, "", 67)
|
|
),
|
|
new TestToken(),
|
|
new TestVerifier()
|
|
)
|
|
// solhint-disable-next-line no-empty-blocks
|
|
{
|
|
|
|
}
|
|
|
|
// Properties to be tested through fuzzing
|
|
|
|
MarketplaceTotals private _lastSeenTotals;
|
|
|
|
function neverDecreaseTotals() public {
|
|
assert(_marketplaceTotals.received >= _lastSeenTotals.received);
|
|
assert(_marketplaceTotals.sent >= _lastSeenTotals.sent);
|
|
_lastSeenTotals = _marketplaceTotals;
|
|
}
|
|
|
|
function neverLoseFunds() public view {
|
|
uint256 total = _marketplaceTotals.received - _marketplaceTotals.sent;
|
|
assert(token().balanceOf(address(this)) >= total);
|
|
}
|
|
}
|