test_double_kill()
Test that when two transactions attempt to destruct a contract,
Back to test_double_kill().