From 759f46cffca5d8465a21f37d7889ad7e15886054 Mon Sep 17 00:00:00 2001
From: "W. Spencer Smith" <smiths@mcmaster.ca>
Date: Fri, 22 Nov 2019 11:33:59 -0500
Subject: [PATCH] Fixed typo in lecture 14 (MIS)
---
BlankProjectTemplate/docs/Design/MIS/MIS-Checklist.tex | 6 +++++-
Lectures/L14_MIS/MIS.tex | 2 +-
2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/BlankProjectTemplate/docs/Design/MIS/MIS-Checklist.tex b/BlankProjectTemplate/docs/Design/MIS/MIS-Checklist.tex
index 690d25e..6e6bf3e 100644
--- a/BlankProjectTemplate/docs/Design/MIS/MIS-Checklist.tex
+++ b/BlankProjectTemplate/docs/Design/MIS/MIS-Checklist.tex
@@ -85,7 +85,11 @@
state variables for another module, or an environment variable.
\item Outputs use $out := ...$
\item Exceptions use $exc := ...$
-
+ \item If the state invariant is satisfied before an access program call, it
+ will remain satisfied after the call
+ \item State invariant is initially satisfied
+ \item Local functions make the specification easier to read (there is no
+ requirement that the local functions will actually be implemented in code)
\end{todolist}
\item Mathematical syntax
diff --git a/Lectures/L14_MIS/MIS.tex b/Lectures/L14_MIS/MIS.tex
index b683b59..b697f84 100755
--- a/Lectures/L14_MIS/MIS.tex
+++ b/Lectures/L14_MIS/MIS.tex
@@ -771,7 +771,7 @@ seq\_init():
\item Using built-in language constructs
\end{itemize}
\item Caused by errors made by programmers, not by users
-\item Write code so that it avoid exceptions
+\item Write code so that it avoids exceptions
\item Exceptions will be particularly useful during testing
\end{itemize}
--
GitLab