Commit 2e197dab authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Updated phrasing

parent 8903a4b5
......@@ -14,11 +14,12 @@ Read the following, keeping in mind that in terms of this discussion...
(which in this case is comprised of two conditions).
- Finally, *branch* (at least in terms of the discussion that follows - i.e. in terms
of what GCOV describes as a branch) is a condition being checked at object
of what GCOV describes as a branch) is a condition being checked at the object
code level. A branch therefore exists at any instruction like `ble` (branch
if less or equal on SPARCs) or `jnz` (jump if not zero on x86) etc.
if less or equal on SPARCs) or `jnz` (jump if not zero on x86) generated by the
compiler for the conditions and decisions that exist at source-code level.
Given the context above...
Given the definitions above, let's talk about coverage.
To get 100% decision coverage every decision in the program must take all
possible outcomes at least once. Given that in the code we have two decisions...
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment