En post af kilde erklæringer og gren resultater, der er stødt på, når et edb-program udføres ved hjælp af symbolsk, snarere end faktiske, værdier for input-data.