On Wed, Dec 13, 2017 at 11:16:27AM +0900, SeongJae Park wrote:
> Signed-off-by: SeongJae Park <sj38.park@xxxxxxxxx>
Good eyes! Applied and pushed, thank you!
Thanx, Paul
> ---
> formal/regression.tex | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/formal/regression.tex b/formal/regression.tex
> index 4e06cb7..4e8476d 100644
> --- a/formal/regression.tex
> +++ b/formal/regression.tex
> @@ -584,6 +584,6 @@ Just because many of them are poor fit for regression testing does
> not at all mean that they are useless, in fact,
> many of them have proven their worth many times over.\footnote{
> For but one example, Promela was used to verify the file system
> - of none other than the Curiosty Rover.
> + of none other than the Curiosity Rover.
> Was \emph{your} formal verification tool used on a Mars rover?}
> Just not for regression testing.
> --
> 2.10.0
>
> --
> To unsubscribe from this list: send the line "unsubscribe perfbook" in
> the body of a message to majordomo@xxxxxxxxxxxxxxx
> More majordomo info at http://vger.kernel.org/majordomo-info.html
>
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
