U256Cum Example

Cumulative uint256 Code Example

The CumulativeU256Test is a test contract that demonstrates the usage of the U256Cumulative contract, which is designed for cumulative operations in full concurrency. The purpose of this test contract is to verify that the U256Cumulative contract behaves correctly according to its specifications and that it properly enforces the defined minimum and maximum bounds.

// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.19;

import "./U256Cum.sol";
import "../multiprocess/Multiprocess.sol";

contract CumulativeU256Test {
    U256Cumulative cumulative ;

    constructor() {    
        cumulative = new U256Cumulative(1, 100);  // [1, 100]
        require(cumulative.min() == 1);
        require(cumulative.max() == 100);

        require(cumulative.add(99));
        
        cumulative.sub(99); // This won't succeed, so still 99
        require(cumulative.get() == 99);

        cumulative.add(1);
        require(cumulative.get() == 100);

        cumulative.sub(100); // This won't succeed either, so still 100
        require(cumulative.get() == 100);

        cumulative.sub(99);
        require(cumulative.get() == 1);

        cumulative = new U256Cumulative(0, 100);  // [0, 100]
        require(cumulative.get() == 0);

        require(cumulative.add(99));
        require(cumulative.get() == 99);
        
        require(cumulative.sub(99));
        require(cumulative.get() == 0);

        require(cumulative.min() == 0);
        require(cumulative.max() == 100);
    }
}

Analysis

This test contract demonstrates the proper behavior of the U256Cumulative contract in handling cumulative operations and enforcing the specified bounds, ensuring that the variable stays within the prescribed range.