Commit 3e65ccdd authored by Emmanuel Thomé's avatar Emmanuel Thomé

Merge branch 'master' of gitlab.inria.fr:smasson/cocks-pinch-variant

parents c0895afc cec5aed7
......@@ -41,7 +41,8 @@ def phex(t):
if abs(t) < 10:
return str(t)
else:
return "%s0x%s" % ("-" if t < 0 else "", abs(t).hex())
#return "%s0x%s" % ("-" if t < 0 else "", abs(t).hex())
return "{:=#x}".format(t)
class sequence_with_stateful_iterators(object):
def __init__(self, S):
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment