def test_dict_insert_order():
a = {}
a['a'] = 1
a['b'] = 2
b = {}
b['b'] = 2
b['a'] = 1
assert hexhash(a) == hexhash(b)
def test_injective(a, b):
assume(a != b)
assert hexhash(a) != hexhash(b)
def test_dict_literal_order():
a = {'a': 1, 'b': 2}
b = {'b': 2, 'a': 1}
assert hexhash(a) == hexhash(b)
def test_reflexive(value):
assert hexhash(value) == hexhash(value)