Záznam o zdrojové příkazy a výsledky pobočky, které se vyskytují při počítačový program je proveden pomocí symbolického, spíše než skutečné, hodnoty pro vstupní data.