checking in mockup DFA and TestDFA.cpp output for C++
updates
Merge branch 'auto-batch' of github.com:JHUISI/charm into auto-batch