CheckerLib (iec_checker.IECCheckerLib.CheckerLib)

module S = IECCheckerCore.Syntax

val run_all_checks : 
  S.iec_library_element list ->
  IECCheckerCore.Env.t list ->
  IECCheckerCore.Cfg.t list ->
  bool ->
  IECCheckerCore.Warn.t list

run_all_checks Run all available checks