2 Commits

Author SHA1 Message Date
Karl Kroening
525b1bf452 Make input/output cmd-line args deterministically sorted 2017-06-14 02:25:58 -06:00
Karl Kroening
d0e226e263 Add tox support 2017-06-13 23:18:19 -06:00