Target Language Compiler

Using TLC Code Coverage to Aid Debugging

Objective: Learning to use TLC coverage statistics to help identify bugs in TLC code.

Example directory: tlctutorial/tlcdebug

Note    If you haven't completed the previous exercise, Debugging Your TLC Code, go back and do so before continuing here.

This exercise teaches you how to determine if your TLC code is being executed as expected. Here it uses the same model as for the previous exercise. As you focus on understanding flow of control in processing TLC files, you won't need to compile and execute a stand-alone model, only to look at code. The exercise proceeds as follows:

• Getting Started -- Why and how to analyze TLC coverage
• Open the Model and Generate Code -- Reading a coverage log file
• Log Without Inline Parameters -- How code generation is affected

Fix the Bug and Verify the Fix

Getting Started