Revision as of 07:16, 3 November 2022 edit 89.0.128.8 (talk) changed then to if ← Previous edit		Revision as of 15:42, 3 November 2022 edit undo 105.161.213.89 (talk) →Example Tags: Reverted Mobile edit Mobile web edit Next edit →
Line 4: ==Example== Consider the program below, which reads in a value and fails if the input is 612. <syntaxhighlight lang="c" line="1">

Symbolic execution: Difference between revisions