Input Size of Symbolic executions workaround for the complex and large smart contract programs. #2603
Description
Please refer to the following files and make the necessary changes for this workaround.
Increase the input size of the solidity input in the method .
self.make_symbolic_buffer(320) Please change the input size to your own required amount as per the smart contract requirements in the method multi_tx_analysis() method of manticore.py file.