Module Goblint_std.GobSysSource

Sourceval mkdir_parents : Fpath.t -> unit
Sourceval mkdir_or_exists : Fpath.t -> unit
Sourceval mkdir_or_exists_absolute : Fpath.t -> Fpath.t

Creates a directory and returns the absolute path *

Sourceval rmdir_if_empty : Fpath.t -> unit
Sourceval rmdir_recursive : Fpath.t -> unit

Remove directory and its content, as "rm -rf" would do.

Sourceval exe_dir : Fpath.t
Sourceval command_line : string
Sourceval split_time : unit -> int * int * int * int
Sourceval string_of_time : unit -> string
Sourceval signal_of_string : string -> int
Sourceval self_signal : int -> unit