Update source to run under both Python 2 and Python 3.
Chris Pressey
3 years ago
15 | 15 |
proof = p.proof()
|
16 | 16 |
c = Checker(proof)
|
17 | 17 |
c.check()
|
18 | |
print 'ok'
|
|
18 |
print('ok')
|
19 | 19 |
sys.exit(0)
|
0 | 0 |
-> Functionality "Check Maxixe proof" is implemented by
|
1 | |
-> shell command "bin/maxixe %(test-body-file)"
|
|
1 |
-> shell command "python2 bin/maxixe %(test-body-file)"
|
2 | 2 |
|
|
3 |
-> Functionality "Check Maxixe proof" is implemented by
|
|
4 |
-> shell command "python3 bin/maxixe %(test-body-file)"
|
6 | 6 |
def __repr__(self):
|
7 | 7 |
return "%s(%s)" % (
|
8 | 8 |
self.__class__.__name__,
|
9 | |
', '.join(['%s=%r' % (k, v) for k, v in self.attrs.iteritems()])
|
|
9 |
', '.join(['%s=%r' % (k, v) for k, v in self.attrs.items()])
|
10 | 10 |
)
|
11 | 11 |
|
12 | 12 |
def __getattr__(self, name):
|