diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-02-01 18:48:56 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-02-01 18:48:56 +0100 |
| commit | 496f4563ba4b0884ff257521f055fae574141e0a (patch) | |
| tree | 68626312657b11980ce3633a3050a197a07e5991 /icefuzz/pinloc/pinlocdb.py | |
| parent | c0c06cdee938c823a8daca54baac0c2e26b3fa3b (diff) | |
Improvements in icefuzz/pinloc
Diffstat (limited to 'icefuzz/pinloc/pinlocdb.py')
| -rw-r--r-- | icefuzz/pinloc/pinlocdb.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/icefuzz/pinloc/pinlocdb.py b/icefuzz/pinloc/pinlocdb.py index 9a3fc1e..f32c3f6 100644 --- a/icefuzz/pinloc/pinlocdb.py +++ b/icefuzz/pinloc/pinlocdb.py @@ -32,12 +32,12 @@ for arg in argv[1:]: print() print("# ieren_db") for entry in sorted(ieren_db): - print("(%2d, %2d, %d, %2d, %2d, %d)," % entry) + print(" (%2d, %2d, %d, %2d, %2d, %d)," % entry) print() print("# pinloc_db") -for entry in sorted(pinloc_db): - print("(%5s, %2d, %2d, %d)," % entry) +for entry in sorted(pinloc_db, key=lambda n: re.sub(r"[0-9]+", lambda d: "%03d" % int(d.group(0)), n[0])): + print(" (%5s, %2d, %2d, %d)," % entry) print() |