Module Soteria_c_lib.Error

type t = [
  1. | `NullDereference
  2. | `OutOfBounds
  3. | `UninitializedMemoryAccess
  4. | `UseAfterFree
  5. | `DivisionByZero
  6. | `ParsingError of string
  7. | `LinkError of string
  8. | `UBPointerComparison
  9. | `UBPointerArithmetic
  10. | `InvalidFunctionPtr
  11. | `DoubleFree
  12. | `InvalidFree
  13. | `Memory_leak
  14. | `FailedAssert
  15. | `Overflow
  16. | `Gave_up of string
]
val pp : Stdlib.Format.formatter -> [< `DivisionByZero | `DoubleFree | `FailedAssert | `Gave_up of string | `InvalidFree | `InvalidFunctionPtr | `LinkError of string | `Memory_leak | `NullDereference | `OutOfBounds | `Overflow | `ParsingError of string | `UBPointerArithmetic | `UBPointerComparison | `UninitializedMemoryAccess | `UseAfterFree ] -> unit
val kind_string : [< `DivisionByZero | `DoubleFree | `FailedAssert | `Gave_up of 'a | `InvalidFree | `InvalidFunctionPtr | `LinkError of 'b | `Memory_leak | `NullDereference | `OutOfBounds | `Overflow | `ParsingError of 'c | `UBPointerArithmetic | `UBPointerComparison | `UninitializedMemoryAccess | `UseAfterFree ] -> string

Same as `show` but does not include details about the error, only the kind.

val is_ub : [< `DivisionByZero | `DoubleFree | `FailedAssert | `Gave_up of 'a | `InvalidFree | `InvalidFunctionPtr | `LinkError of 'b | `Memory_leak | `NullDereference | `OutOfBounds | `Overflow | `ParsingError of 'c | `UBPointerArithmetic | `UBPointerComparison | `UninitializedMemoryAccess | `UseAfterFree ] -> bool
type with_trace = t * Cerb_location.t Soteria.Terminal.Call_trace.t
val with_trace : ?msg:string -> 'a -> 'b -> 'a * 'b Soteria.Terminal.Call_trace.t
val add_to_call_trace : with_trace -> Cerb_location.t Soteria.Terminal.Call_trace.element -> t * Cerb_location.t Soteria.Terminal.Call_trace.element list
module Diagnostic : sig ... end
module Exit_code : sig ... end