diff options
Diffstat (limited to 'glossary.tex')
-rw-r--r-- | glossary.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/glossary.tex b/glossary.tex index 83fc900..91ee422 100644 --- a/glossary.tex +++ b/glossary.tex @@ -3,7 +3,7 @@ description={is a software defect that results in undesired behaviors}} \newglossaryentry{difftest}{name={differential test}, description={is an input and a collection of outputs of two or more programs - of the same purpose, such that each output is pairwise different}} + of the same purpose, such that each output is pair-wise different}} \newglossaryentry{state}{name=state, description={or \emph{symbolic process}, includes a program counter, an execution environment (a register file, a stack frame, |