28 lines
658 B
Solidity
28 lines
658 B
Solidity
// test/Messages.sol
|
|
// SPDX-License-Identifier: Apache 2
|
|
|
|
pragma solidity ^0.8.0;
|
|
|
|
import "../contracts/Messages.sol";
|
|
import "forge-std/Test.sol";
|
|
|
|
contract TestMessages is Messages, Test {
|
|
function testQuorum() public {
|
|
assertEq(quorum(0), 1);
|
|
assertEq(quorum(1), 1);
|
|
assertEq(quorum(2), 2);
|
|
assertEq(quorum(3), 3);
|
|
assertEq(quorum(4), 3);
|
|
assertEq(quorum(5), 4);
|
|
assertEq(quorum(6), 5);
|
|
assertEq(quorum(7), 5);
|
|
assertEq(quorum(8), 6);
|
|
assertEq(quorum(9), 7);
|
|
assertEq(quorum(10), 7);
|
|
assertEq(quorum(11), 8);
|
|
assertEq(quorum(12), 9);
|
|
assertEq(quorum(19), 13);
|
|
assertEq(quorum(20), 14);
|
|
}
|
|
}
|