tree 8a325a55b9ecd56ff9b39677e0573176247aa40f
parent 1fb4bb4dff544a7f9276707b44319f47c9d26d09
author Michael Blow <mblow@apache.org> 1495134858 -0400
committer Michael Blow <mblow@apache.org> 1495152777 -0700

Make Default Dir a Command Line Option

- Avoid using static field to hold default directory, in favor of
  an option.
- Improve output on failed regexadm match (indicate where actual
  and expected diverge)

Change-Id: I7855c8f344eea9c9b6a394d85413a062a3ddb609
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1751
Reviewed-by: Michael Blow <mblow@apache.org>
Tested-by: Michael Blow <mblow@apache.org>