Adds tests for control structures

Signed-off-by: Konstantina Blazhukova <[email protected]>

contracts/solidity/control/ControlStructures.sol

@@ -0,0 +1,87 @@
+// SPDX-License-Identifier: UNLICENSED
+pragma solidity ^0.8.20;
+
+contract TestContract {
+
+    constructor() {}
+
+    function myFunc(uint x) public pure returns (string memory) {
+        require(x != 0, "require failed");
+        return "my func was called";
+    }
+}
+
+
+contract ControlStructures {
+    TestContract public test;
+
+    constructor() {
+        test = new TestContract();
+    }
+
+    function testIfElse(bool condition) external pure returns(bool) {
+        if(condition) {
+            return true;
+        } else {
+            return false;
+        }
+    }
+
+    function testWhile(uint256 total) external pure returns(uint256) {
+        uint256 it = 0;
+        while(++it < total) {}
+
+        return it;
+    }
+
+    function testDoWhile(uint256 total) external pure returns(uint256) {
+        uint256 it = 0;
+        do {
+            it++;
+        } while(it < total);
+
+        return it;
+    }
+
+    function testBreak(uint256 total, uint256 interception) external pure returns(uint256) {
+        uint256 it = 0;
+        while(it++ < total) {
+            if(it == interception) break;
+        }
+
+        return it;
+    }
+
+    function testContinue(uint256 total, uint256 interception) external pure returns(uint256) {
+        uint256 iterableSteps = 0;
+
+        for(uint i=0; i < total; i++) {
+            if(interception < i) continue;
+            iterableSteps++;
+        }
+
+        return iterableSteps;
+    }
+
+    function testFor(uint256 total) external pure returns(uint256) {
+        uint256 it = 0;
+        for(uint i=0; i < total; i++) {
+            it = i;
+        }
+
+        return it;
+    }
+
+    function myFunc(uint x) internal pure returns (string memory) {
+        require(x != 0, "require failed");
+        return "my func was called";
+    }
+
+    function testTryCatch(uint256 condition) external view returns(bool) {
+        try test.myFunc(condition) {
+            return true;
+        } catch {
+            return false;
+        }
+    }
+}

test/constants.js

@@ -105,6 +105,7 @@ const Contract = {
   Transaction: 'Transaction',
   MessageFrameAddresses: 'MessageFrameAddresses',
   New: 'New',
+  ControlStructures: 'ControlStructures'
 }
 
 const CALL_EXCEPTION = 'CALL_EXCEPTION'

test/solidity/control/control.js

@@ -0,0 +1,57 @@
+const { expect } = require('chai')
+const { ethers } = require('hardhat')
+const Constants = require('../../constants')
+
+describe('Control Structures', function () {
+    let contract;
+
+    before(async function () {
+        const factory = await ethers.getContractFactory(Constants.Contract.ControlStructures)
+        contract = await factory.deploy()
+    })
+
+    it('should verify is is working correctly', async function () {
+        const res = await contract.testIfElse(false)
+        expect(res).to.equal(false)
+    })
+
+    it('should verify else is working correctly', async function () {
+        const res = await contract.testIfElse(true)
+        expect(res).to.equal(true)
+    })
+
+    it('should verify while is working correctly', async function () {
+        const res = await contract.testWhile(5)
+        expect(res).to.equal(5) 
+    })
+
+    it('should verify do is working correctly', async function () {
+        const res = await contract.testDoWhile(5)
+        expect(res).to.equal(5) 
+    })
+
+    it('should verify break is working correctly', async function () {
+        const res = await contract.testBreak(5, 3)
+        expect(res).to.equal(3) 
+    })
+
+    it('should verify continue is working correctly', async function () {
+        const res = await contract.testContinue(5, 3)
+        expect(res).to.equal(4) 
+    })
+
+    it('should verify for is working correctly', async function () {
+        const res = await contract.testFor(5)
+        expect(res).to.equal(4) 
+    })
+
+    it('should verify catch is working correctly', async function () {
+        const res = await contract.testTryCatch(0)
+        expect(res).to.equal(false) 
+    })
+
+    it('should verify try is working correctly', async function () {
+        const res = await contract.testTryCatch(1)
+        expect(res).to.equal(true) 
+    })
+})