fixed a typo

Author: Robotechnic

src/analyses/assert.ml

@@ -35,19 +35,19 @@ struct
     match Queries.eval_bool (Analyses.ask_of_man man) e with
     | `Lifted false ->
       warn (M.error ~category:Assert "%s") ~annot:"FAIL" ("Assertion \"" ^ expr ^ "\" will fail.");
-      Checks.error Checks.Category.AssersionFaillure "Assertion \"%s\" will fail." expr;
+      Checks.error Checks.Category.AssertionFailure "Assertion \"%s\" will fail." expr;
       if refine then raise Analyses.Deadcode else man.local
     | `Lifted true ->
       warn (M.success ~category:Assert "%s") ("Assertion \"" ^ expr ^ "\" will succeed");
-      Checks.safe Checks.Category.AssersionFaillure ~message:("Assertion \"%s\" will succeed");
+      Checks.safe Checks.Category.AssertionFailure ~message:("Assertion \"%s\" will succeed");
       man.local
     | `Bot ->
       M.error ~category:Assert "%s" ("Assertion \"" ^ expr ^ "\" produces a bottom. What does that mean? (currently uninitialized arrays' content is bottom)");
-      Checks.error Checks.Category.AssersionFaillure "Assertion \"%s\" produces a bottom. What does that mean? (currently uninitialized arrays' content is bottom)" expr;
+      Checks.error Checks.Category.AssertionFailure "Assertion \"%s\" produces a bottom. What does that mean? (currently uninitialized arrays' content is bottom)" expr;
       man.local
     | `Top ->
       warn (M.warn ~category:Assert "%s") ~annot:"UNKNOWN" ("Assertion \"" ^ expr ^ "\" is unknown.");
-      Checks.warn Checks.Category.AssersionFaillure "Assertion \"%s\" is unknown." expr;
+      Checks.warn Checks.Category.AssertionFailure "Assertion \"%s\" is unknown." expr;
       man.local
 
   let special man (lval: lval option) (f:varinfo) (args:exp list) : D.t =

src/common/util/checks.ml

@@ -31,7 +31,7 @@ end
 
 module Category = struct
   type t =
-    | AssersionFaillure
+    | AssertionFailure
     | InvalidMemoryAccess
     | DivisionByZero
     | IntegerOverflow
@@ -43,7 +43,7 @@ module Category = struct
   [@@deriving hash, eq, show]
 
   let to_yojson x = `String (match x with
-      | AssersionFaillure -> "Assertion failure"
+      | AssertionFailure -> "Assertion failure"
       | InvalidMemoryAccess -> "Invalid memory access"
       | DivisionByZero -> "Division by zero"
       | IntegerOverflow -> "Integer overflow"
@@ -54,7 +54,7 @@ module Category = struct
       | StubCondition -> "Stub condition")
 
   let of_yojson = function
-    | `String "Assertion failure" -> Ok AssersionFaillure
+    | `String "Assertion failure" -> Ok AssertionFailure
     | `String "Invalid memory access" -> Ok InvalidMemoryAccess
     | `String "Division by zero" -> Ok DivisionByZero
     | `String "Integer overflow" -> Ok IntegerOverflow