Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result

verify_a.py

Blame
    • Christian Dietrich's avatar
      225fb0b0
      generator: big refactoring · 225fb0b0
      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
      History
      generator: big refactoring
      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