Pass constructor arguments to a contract in an Echidna test

gistfile1.sol

pragma solidity ^0.6.0;

contract MyContract {
    uint public value;

    constructor(uint _value) public {
        value = _value;
    }
}

// Echidna test code

import "echidna/echidna.sol";

contract TestMyContract {
    using Echidna for *;

    MyContract myContract;

    function beforeEach() public {
        myContract = new MyContract(123);
    }

    @test
    function testConstructor() public {
        assert(myContract.value() == 123);
    }
}