typos: constrains

sternenseemann · Feb 5, 2020 · 5a63197 · 5a63197
1 parent 46558b2
commit 5a63197
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/examples/taint/src/main.zz b/examples/taint/src/main.zz
@@ -25,7 +25,7 @@ fn close(Socket mut* self)
     where isopen(*self)
     model !isopen(*self)
 {
-    //convince the symbolic executor that we did something, so we can have new constrains
+    //convince the symbolic executor that we did something, so we can have new constraints
     *self = Socket{fd: 0};
     static_attest(isopen(*self) == false);
 }

diff --git a/tests/mustfail/typestate_wrong_order/src/main.zz b/tests/mustfail/typestate_wrong_order/src/main.zz
@@ -25,7 +25,7 @@ fn close(Socket mut* self)
     where isopen(*self)
     model !isopen(*self)
 {
-    //convince the symbolic executor that we did something, so we can have new constrains
+    //convince the symbolic executor that we did something, so we can have new constraints
     *self = Socket{.fd = 0};
     static_attest(isopen(*self) == false);
 }

diff --git a/tests/mustpass/typestate/src/main.zz b/tests/mustpass/typestate/src/main.zz
@@ -25,7 +25,7 @@ fn close(Socket mut* self)
     where isopen(*self)
     model !isopen(*self)
 {
-    //convince the symbolic executor that we did something, so we can have new constrains
+    //convince the symbolic executor that we did something, so we can have new constraints
     *self = Socket{fd : 0};
     static_attest(isopen(*self) == false);
 }