commit | 132349b081641bf268f98e94a64d82b3bcc92b52 | [log] [tgz] |
---|---|---|
author | dkolovos <dkolovos@cs.york.ac.uk> | Fri Sep 29 14:04:24 2017 +0100 |
committer | dkolovos <dkolovos@cs.york.ac.uk> | Fri Sep 29 14:04:24 2017 +0100 |
tree | cf81eaee1ba42c678a441f27f08a2249d3a091b1 | |
parent | 5f863988995c38acb9d08fa8e9ccd00522b2b5d8 [diff] |
Restored evalWithResult