Source file `goblint_sites.ml`

1
2
3
4
5
6
(* export without all the intermediate modules *)
let lib_stub_include = Dunesite.Sites.lib_stub_include
let lib_stub_src = Dunesite.Sites.lib_stub_src
let lib_runtime_include = Dunesite.Sites.lib_runtime_include
let lib_runtime_src = Dunesite.Sites.lib_runtime_src
let conf = Dunesite.Sites.conf