-
Christian Dietrich authored
Rename all parts in a more logical way. The generator is now divided into three main parts: - analysis: Generate GCFG and State Transition graph - transform: Generate Assertions, CFG Regions, FSMs - coder: bring the information collected in the previous steps down to the code. Change-Id: I5cfd48f6a8d195c30b16b425eda010d9b0405dcd
225fb0b0