The current model exporting code exports CFSM models that are derived from GFSM
models. However, for debugging purposes, it would also help to have code that
exports GFSM models directly (since GFSM->CFSM conversion may add new traces).
Original issue reported on code.google.com by bestchai on 28 Sep 2012 at 10:18
Original issue reported on code.google.com by
bestchai
on 28 Sep 2012 at 10:18