Strange behaviour using manticore-verifier command

[jcrreis]

Hello again,

I'm using manticore-verifier CLI to verify some properties on a smart contract.

This is my TestWallet contract, that tries to verify some properties on Wallet contract after executing a certain function.

contract TestWallet is Wallet{

    function crytic_test_deposit(uint amount) public payable returns (bool){
        uint old_balance = balance;
        this.deposit{value: amount}();            
        return old_balance + amount == balance;
    }

    function crytic_test_withdraw(uint amount) public returns (bool){
        uint old_balance = balance;
        this.withdraw(amount);
        return test_ownership() && (old_balance - amount == balance);
    }

    function test_ownership() public view returns  (bool) {
        return msg.sender == this.getOwner();
    }
}

When i run:

manticore-verifier TestWallet.sol --contract TestWallet

Expected behaviour: It should give me all the test cases

Actual behaviour: empty folder with just .state_id file

I'm I misusing or did i misunderstood the manticore-verifier CLI?

Thank you.