diff options
author | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-12 11:56:49 +0900 |
---|---|---|
committer | Nguyễn Gia Phong <cnx@loang.net> | 2023-12-12 11:56:49 +0900 |
commit | 1540c49161fc4f9fc075d3fd978f682f8f041dac (patch) | |
tree | ac96743e5051ca007e75e93301dc1220f9224549 /glossary.tex | |
parent | 5d75dc22bc63abc0102226429c465c62f5f21994 (diff) | |
download | thesis-1540c49161fc4f9fc075d3fd978f682f8f041dac.tar.gz |
Proof read for the last time
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, |