Why is this enhancement useful?
This will make the InvDFA project more flexible.
What is an example use case for this enhancement?
Ability to add command line flags for initial/final output file names when
running InvDFA project:
--initialModel=name1
--finalModel=name2
Original issue reported on code.google.com by jenny.abrahamson on 22 Nov 2011 at 9:06
Original issue reported on code.google.com by
jenny.abrahamson
on 22 Nov 2011 at 9:06