pragma solidity ^0.4.18;

contract Test {

    constructor() public payable{}
    function() public payable{}

    function sendEth(address dest, uint amount) public {
        //revert();
        dest.transfer(amount); // send also fails to revert..
        dest.send(amount); // send also fails to revert..
        revert();
    }
}

from manticore.ethereum import ManticoreEVM, ABI

m = ManticoreEVM()
m.verbosity(3)
with open('Test.sol') as f:
    merged_source = f.read()

user_account = m.create_account(balance=1000)
deadface = m.create_account(balance=10000,address=0x00000000000000000000000000000000deadface)
deadbeef = m.create_account(balance=10000,address=0x00000000000000000000000000000000deadbeef)

# Initialize contract
test_contract = m.solidity_create_contract(merged_source,
                                           owner=user_account,
                                           contract_name="Test",
                                           balance=0) # balance=100

test_contract.sendEth(deadbeef.address,10,caller=deadface.address)
m.finalize()

Transactions No. 1
Type: CALL (0)
From: normal1(0xdeadface) 
To: contract0(0xafb6d63079413d167770de9c3f50db6477811bdb) 
Value: 0 
Gas used: 281474976710655 
Data: 0x49dcbc5e00000000000000000000000000000000000000000000000000000000deadbeef000000000000000000000000000000000000000000000000000000000000000a 
Return_data: 0x 

Function call:
sendEth(3735928559,10) -> REVERT 

Transactions No. 1
Type: CALL (0)
From: normal1(0xdeadface) 
To: contract0(0xafb6d63079413d167770de9c3f50db6477811bdb) 
Value: 0 
Gas used: 281474976710655 
Data: 0x49dcbc5e00000000000000000000000000000000000000000000000000000000deadbeef000000000000000000000000000000000000000000000000000000000000000a 
Return_data: 0x 

Function call:
sendEth(3735928559,10) -> STOP