Project

General

Profile

Actions

Wiki

Retrascope Statements

  • BasicBlock
  • Switch
  • Case
  • Loop
  • Wait
  • Assert

MicroTESK Statements

  • Assign
  • Exception
  • IfThenElse
  • Mark
  • Trace / Format
  • Return
  • Call / FunctionCall
  • Assert
  • Status

Castle Statements

  • Assignment / BasicBlock
    • Retrascope: Blocking/Nonblocking
  • Assertion
  • Call
    • MicroTESK: Mark, Trace, Exception
  • Return
  • Switch / Case
  • Data Declarations
  • Operations / Processes

Control Flow Graph Representation requirements

Updated by Sergey Smolov over 3 years ago ยท 5 revisions