From 19d2cad724f70afbdad8eeedb9a533f6fcd9d50d Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Fri, 16 Aug 2013 20:52:17 +0100 Subject: [PATCH] spotted unitary state was not clear in ENSURE in algorithm 2 --- submission_thesis/appendixes/algorithmic.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submission_thesis/appendixes/algorithmic.tex b/submission_thesis/appendixes/algorithmic.tex index 8190827..9110d89 100644 --- a/submission_thesis/appendixes/algorithmic.tex +++ b/submission_thesis/appendixes/algorithmic.tex @@ -444,7 +444,7 @@ all failure modes in components in the {\fg} are included in at least one test~c \If{Double fault checking} \State { let $f1,f2$ represent component failure modes, and $c$ any component in the functional group } %\ENSURE { That all failure modes are represented in at least one test case } - \Ensure { $ \forall f1,f2 \;where\; (f1,f2) \not\in c\;such\;that\; (f1,f2 \in F)) \wedge ( \{f1,f2\} \in \bigcup TC) $ } + \Ensure { $ \forall f1,f2 \;where\; (f1 \wedge f2) \not\in c\;such\;that\; (f1,f2 \in F)) \wedge ( \{f1,f2\} \in \bigcup TC) $ } \Comment { This corresponds to checking that each possible double failure mode (see section~\ref{sec:unitarystate}) is included as a test case.} \EndIf