How to pass a ether value as the augument of the constructor?

[nicedinner02]

For the contract below, I run the command: timeout 10s ityfuzz evm -t "abi_and_bin/example/*".

pragma solidity ^0.4.21;

contract example { uint256 price = 1;

constructor() public payable {
    require(msg.value == 1 ether);
}

function set(uint value) public {
    price = value;
}

}

the result is: ERROR deploy failed: Revert ERROR Failed to deploy contract: abi_and_bin/example/example*

The test for this contract produced no results because the work_dir file is empty. How can i add ether value as an argument of constructor? I look forward to your help.