Add golden run and pilot to glossary

This commit is contained in:
2026-09-10 20:04:36 +02:00
parent e9078ee17f
commit 7893267198
2 changed files with 12 additions and 2 deletions
+10
View File
@@ -63,10 +63,20 @@
text={FARM},
description={Model to specify \Gls{fi} applications by structuring them into four sets: faults (\(F\)), activations (\(A\)), readouts (\(R\)), and measures (\(M\))}
}
\newglossaryentry{goldenrun}{%
name={Golden Run},
text={golden run},
description={A recording of a fault-free execution of the program under test}
}
\newglossaryentry{iwasm}{%
name={iWasm},
description={\Gls{wamr}'s standalone binary that provides a command-line interface to load and execute \Gls{wasm} modules using \Gls{vmcore}}
}
\newglossaryentry{pilot}{%
name={Pilot},
text={pilot},
description={A single \Gls{fi} experiment representing an equivalence class of experiments with the same outcome}
}
\newglossaryentry{replication}{%
name={Replication},
text={replication},