Wiki¶

Retrascope Statements¶

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

MicroTESK Statements¶

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