nvasudevan/experiment — pull request #5 by nvasudevan (2014-08-01 23:43:15+00:00)
Title: [acla] Extend ACLA to add the option to search either for shortest examp...

...le or parse all strings from the approximated automaton