Skip to content
Snippets Groups Projects

Improve miniz

Merged Andre Maroneze requested to merge improve-miniz into master
53 files
+ 9233
951
Compare changes
  • Side-by-side
  • Inline
Files
53
+ 33
0
(* Frama-C journal generated at 17:04 the 21/05/2021 *)
exception Unreachable
exception Exception of string
[@@@ warning "-26"]
(* Run the user commands *)
let run () = ()
(* Main *)
let main () =
Journal.keep_file ".frama-c/frama_c_journal.ml";
try run ()
with
| Unreachable -> Kernel.fatal "Journal reaches an assumed dead code"
| Exception s -> Kernel.log "Journal re-raised the exception %S" s
| exn ->
Kernel.fatal
"Journal raised an unexpected exception: %s"
(Printexc.to_string exn)
(* Registering *)
let main : unit -> unit =
Dynamic.register
~plugin:"Frama_c_journal.ml"
"main"
(Datatype.func Datatype.unit Datatype.unit)
~journalize:false
main
(* Hooking *)
let () = Cmdline.run_after_loading_stage main; Cmdline.is_going_to_load ()
Loading