API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Apr 20th, 2017
412
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 134.44 KB | None | 0 0
raw download clone embed print report
  1. The following actions will be performed:
  2. ∗ install conf-m4 1 [required by ocamlfind]
  3. ∗ install ocamlfind 1.7.1 [required by frama-c-base]
  4. ∗ install ocamlgraph 1.8.6 [required by frama-c-base]
  5. ∗ install frama-c-base 20160502
  6. Why3 can be used by the WP plug-in for running additional automatic solvers
  7. Coq can be used with the WP plug-in for proving interactively proof obligations
  8. ===== ∗ 4 =====
  9. Do you want to continue ? [Y/n]
  10. =-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
  11. [frama-c-base: from default] Command started
  12. [ocamlfind: from default] Command started
  13. [ocamlgraph: from default] Command started
  14. [ocamlgraph: from default] Command started
  15. [default] https://opam.ocaml.org/archives/ocamlgraph.1.8.6+opam.tar.gz downloaded
  16. [ocamlfind: from default] Command started
  17. [default] https://opam.ocaml.org/archives/ocamlfind.1.7.1+opam.tar.gz downloaded
  18. [frama-c-base: from default] Command started
  19. [default] https://opam.ocaml.org/archives/frama-c-base.20160502+opam.tar.gz downloaded
  20.  
  21. =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
  22. [conf-m4: sh echo | m4] Command started
  23. + sh "-exc" "echo | m4" (CWD=/home/spearman/.opam/4.02.1/build/conf-m4.1)
  24. -
  25. - + + echo
  26. - m4
  27. ∗ installed conf-m4.1
  28. [ocamlfind: ./configure] Command started
  29. + ./configure "-bindir" "/home/spearman/.opam/4.02.1/bin" "-sitelib" "/home/spearman/.opam/4.02.1/lib" "-mandir" "/home/spearman/.opam/4.02.1/man" "-config" "/home/spearman/.opam/4.02.1/lib/findlib.conf" "-no-custom" (CWD=/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1)
  30. - Welcome to findlib version 1.7.1
  31. - Configuring core...
  32. - Checking for #remove_directory...
  33. - Testing threading model...
  34. - systhread_supported: true
  35. - Testing DLLs...
  36. - Testing whether ppxopt can be supported...
  37. - Checking for ocamlc -opaque...
  38. - Configuring libraries...
  39. - native dynlink: found
  40. - labltk: not present
  41. - ocamlbuild: found
  42. - camlp4: not present (normal since OCaml-4.02)
  43. - compiler-libs: found
  44. - dbm: not present (normal since OCaml-4.00)
  45. - bytes: found, installing fake library
  46. - spacetime: not found
  47. - Configuration for dynlink written to site-lib-src/dynlink/META
  48. - Configuration for graphics written to site-lib-src/graphics/META
  49. - Configuration for num written to site-lib-src/num/META
  50. - Configuration for num-top written to site-lib-src/num-top/META
  51. - Configuration for str written to site-lib-src/str/META
  52. - Configuration for threads written to site-lib-src/threads/META
  53. - Configuration for unix written to site-lib-src/unix/META
  54. - Configuration for stdlib written to site-lib-src/stdlib/META
  55. - Configuration for bigarray written to site-lib-src/bigarray/META
  56. - Configuration for ocamldoc written to site-lib-src/ocamldoc/META
  57. - Configuration for ocamlbuild written to site-lib-src/ocamlbuild/META
  58. - Configuration for compiler-libs written to site-lib-src/compiler-libs/META
  59. - Configuration for bytes written to site-lib-src/bytes/META
  60. - Detecting compiler arguments: (extractor built) ok
  61. -
  62. - About the OCAML core installation:
  63. - Standard library: /home/spearman/.opam/4.02.1/lib/ocaml
  64. - Binaries: /home/spearman/.opam/4.02.1/bin
  65. - Manual pages: /home/spearman/.opam/4.02.1/man
  66. - Multi-threading type: posix
  67. - The directory of site-specific packages will be
  68. - site-lib: /home/spearman/.opam/4.02.1/lib
  69. - The configuration file is written to:
  70. - findlib config file: /home/spearman/.opam/4.02.1/lib/findlib.conf
  71. - Software will be installed:
  72. - Libraries: in <site-lib>/findlib
  73. - Binaries: /home/spearman/.opam/4.02.1/bin
  74. - Manual pages: /home/spearman/.opam/4.02.1/man
  75. - topfind script: /home/spearman/.opam/4.02.1/lib/ocaml
  76. - Topfind ppxopt support: yes
  77. - Toolbox: no
  78. - Link custom runtime: no
  79. - Need bytes compatibility: no
  80. -
  81. - Configuration has been written to Makefile.config
  82. -
  83. - You can now do 'make all', and optionally 'make opt', to build ocamlfind.
  84. [ocamlfind: make all] Command started
  85. + make "all" (CWD=/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1)
  86. - for p in findlib; do ( cd src/$p; make all ) || exit; done
  87. - make[1]: Entering directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1/src/findlib'
  88. - ocamllex fl_meta.mll
  89. - 22 states, 392 transitions, table size 1700 bytes
  90. - ocamldep *.ml *.mli >depend
  91. - USE_CYGPATH="0"; \
  92. - export USE_CYGPATH; \
  93. - cat findlib_config.mlp | \
  94. - sh ../../tools/patch '@CONFIGFILE@' '/home/spearman/.opam/4.02.1/lib/findlib.conf' | \
  95. - sh ../../tools/patch '@STDLIB@' '/home/spearman/.opam/4.02.1/lib/ocaml' | \
  96. - sed -e 's;@AUTOLINK@;true;g' \
  97. - -e 's;@SYSTEM@;linux;g' \
  98. - >findlib_config.ml
  99. - ocamlc -I +compiler-libs -g -c findlib_config.ml
  100. - ocamlc -I +compiler-libs -g -c fl_split.ml
  101. - ocamlc -I +compiler-libs -g -c fl_metatoken.ml
  102. - ocamlc -I +compiler-libs -g -c fl_meta.ml
  103. - ocamlc -I +compiler-libs -c fl_metascanner.mli
  104. - ocamlc -I +compiler-libs -g -c fl_metascanner.ml
  105. - ocamlc -I +compiler-libs -c fl_topo.mli
  106. - ocamlc -I +compiler-libs -g -c fl_topo.ml
  107. - ocamlc -I +compiler-libs -c fl_package_base.mli
  108. - ocamlc -I +compiler-libs -g -c fl_package_base.ml
  109. - ocamlc -I +compiler-libs -c findlib.mli
  110. - ocamlc -I +compiler-libs -g -c findlib.ml
  111. - ocamlc -I +compiler-libs -g -c fl_args.ml
  112. - ocamlc -I +compiler-libs -g -c fl_lint.ml
  113. - ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
  114. - ocamlc -I +compiler-libs -g -c ocaml_args.ml
  115. - ocamlc -I +compiler-libs -g -c frontend.ml
  116. - ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
  117. - ocaml_args.cmo frontend.cmo
  118. - if [ "true" = "true" ]; then \
  119. - cp topfind.ml.in topfind.ml; \
  120. - else \
  121. - sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \
  122. - > topfind.ml ; \
  123. - fi
  124. - ocamlc -I +compiler-libs -c topfind.mli
  125. - ocamlc -I +compiler-libs -g -c topfind.ml
  126. - ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
  127. - File "frontend.ml", line 1805, characters 16-29:
  128. - Warning 3: deprecated: String.create
  129. - Use Bytes.create instead.
  130. - USE_CYGPATH="0"; \
  131. - export USE_CYGPATH; \
  132. - cat topfind_rd1.p | \
  133. - sh ../../tools/patch '@SITELIB@' '/home/spearman/.opam/4.02.1/lib' \
  134. - >topfind
  135. - ocamlc -I +compiler-libs -c num_top_printers.mli
  136. - ocamlc -I +compiler-libs -g -c num_top_printers.ml
  137. - ocamlc -I +compiler-libs -c num_top.mli
  138. - ocamlc -I +compiler-libs -g -c num_top.ml
  139. - ocamlc -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
  140. - ocamlc -I +compiler-libs -c fl_dynload.mli
  141. - ocamlc -I +compiler-libs -g -c fl_dynload.ml
  142. - ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
  143. - make[1]: Leaving directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1/src/findlib'
  144. - make all-config
  145. - make[1]: Entering directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1'
  146. - USE_CYGPATH="0"; \
  147. - export USE_CYGPATH; \
  148. - cat findlib.conf.in | \
  149. - sh tools/patch '@SITELIB@' '/home/spearman/.opam/4.02.1/lib' >findlib.conf
  150. - if ./tools/cmd_from_same_dir ocamlc; then \
  151. - echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
  152. - fi
  153. - if ./tools/cmd_from_same_dir ocamlopt; then \
  154. - echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
  155. - fi
  156. - if ./tools/cmd_from_same_dir ocamldep; then \
  157. - echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
  158. - fi
  159. - if ./tools/cmd_from_same_dir ocamldoc; then \
  160. - echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
  161. - fi
  162. - make[1]: Leaving directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1'
  163. [ocamlfind: make opt] Command started
  164. + make "opt" (CWD=/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1)
  165. - for p in findlib; do ( cd src/$p; make opt ) || exit; done
  166. - make[1]: Entering directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1/src/findlib'
  167. - ocamldep *.ml *.mli >depend
  168. - ocamlopt -I +compiler-libs -c findlib_config.ml
  169. - ocamlopt -I +compiler-libs -c fl_split.ml
  170. - ocamlopt -I +compiler-libs -c fl_metatoken.ml
  171. - ocamlopt -I +compiler-libs -c fl_meta.ml
  172. - ocamlopt -I +compiler-libs -c fl_metascanner.ml
  173. - ocamlopt -I +compiler-libs -c fl_topo.ml
  174. - ocamlopt -I +compiler-libs -c fl_package_base.ml
  175. - ocamlopt -I +compiler-libs -c findlib.ml
  176. - ocamlopt -I +compiler-libs -c fl_args.ml
  177. - ocamlopt -I +compiler-libs -c fl_lint.ml
  178. - ocamlopt -I +compiler-libs -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
  179. - if [ 1 -gt 0 ]; then \
  180. - ocamlopt -I +compiler-libs -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
  181. - fi
  182. - ocamlopt -I +compiler-libs -c ocaml_args.ml
  183. - ocamlopt -I +compiler-libs -c frontend.ml
  184. - File "frontend.ml", line 1805, characters 16-29:
  185. - Warning 3: deprecated: String.create
  186. - Use Bytes.create instead.
  187. - ocamlopt -I +compiler-libs -o ocamlfind_opt findlib.cmxa unix.cmxa \
  188. - ocaml_args.cmx frontend.cmx
  189. - ocamlopt -I +compiler-libs -c topfind.ml
  190. - ocamlopt -I +compiler-libs -a -o findlib_top.cmxa topfind.cmx
  191. - if [ 1 -gt 0 ]; then \
  192. - ocamlopt -I +compiler-libs -shared -o findlib_top.cmxs topfind.cmx; \
  193. - fi
  194. - ocamlopt -I +compiler-libs -c fl_dynload.ml
  195. - ocamlopt -I +compiler-libs -a -o findlib_dynload.cmxa fl_dynload.cmx
  196. - if [ 1 -gt 0 ]; then \
  197. - ocamlopt -I +compiler-libs -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
  198. - fi
  199. - make[1]: Leaving directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1/src/findlib'
  200. [ocamlfind: make install] Command started
  201. + make "install" (CWD=/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1)
  202. - mkdir -p "/home/spearman/.opam/4.02.1/bin"
  203. - mkdir -p "/home/spearman/.opam/4.02.1/man"
  204. - make install-config
  205. - make[1]: Entering directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1'
  206. - mkdir -p "`dirname \"/home/spearman/.opam/4.02.1/lib/findlib.conf\"`"
  207. - test -f "/home/spearman/.opam/4.02.1/lib/findlib.conf" || cp findlib.conf "/home/spearman/.opam/4.02.1/lib/findlib.conf"
  208. - make[1]: Leaving directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1'
  209. - for p in findlib; do ( cd src/$p; make install ); done
  210. - make[1]: Entering directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1/src/findlib'
  211. - mkdir -p "/home/spearman/.opam/4.02.1/lib/findlib"
  212. - mkdir -p "/home/spearman/.opam/4.02.1/bin"
  213. - test 1 -eq 0 || cp topfind "/home/spearman/.opam/4.02.1/lib/ocaml"
  214. - files=`sh ../../tools/collect_files ../../Makefile.config findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs topfind.cmi topfind.mli fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi META` && \
  215. - cp $files "/home/spearman/.opam/4.02.1/lib/findlib"
  216. - f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
  217. - cp $f "/home/spearman/.opam/4.02.1/bin/ocamlfind"
  218. - # the following "if" block is only needed for 4.00beta2
  219. - if [ 1 -eq 0 -a -f "/home/spearman/.opam/4.02.1/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
  220. - cd "/home/spearman/.opam/4.02.1/lib/ocaml/compiler-libs/"; \
  221. - cp topdirs.cmi toploop.cmi "/home/spearman/.opam/4.02.1/lib/findlib/"; \
  222. - fi
  223. - make[1]: Leaving directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1/src/findlib'
  224. - make install-meta
  225. - make[1]: Entering directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1'
  226. - for x in `ls site-lib-src`; do if [ -f "site-lib-src/$x/META" ]; then mkdir -p "/home/spearman/.opam/4.02.1/lib/$x"; cp site-lib-src/$x/META "/home/spearman/.opam/4.02.1/lib/$x"; fi; done
  227. - make[1]: Leaving directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1'
  228. - cd src/findlib; make install-num-top
  229. - make[1]: Entering directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1/src/findlib'
  230. - mkdir -p "/home/spearman/.opam/4.02.1/lib/num-top"
  231. - cp num_top.cma num_top.cmi num_top_printers.cmi \
  232. - "/home/spearman/.opam/4.02.1/lib/num-top"
  233. - make[1]: Leaving directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1/src/findlib'
  234. - if [ 0 -eq 1 ]; then \
  235. - cp tools/safe_camlp4 "/home/spearman/.opam/4.02.1/bin"; \
  236. - fi
  237. - make install-doc
  238. - make[1]: Entering directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1'
  239. - mkdir -p "/home/spearman/.opam/4.02.1/man/man1" "/home/spearman/.opam/4.02.1/man/man3" "/home/spearman/.opam/4.02.1/man/man5"
  240. - cp doc/ref-man/ocamlfind.1 "/home/spearman/.opam/4.02.1/man/man1"
  241. - cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/spearman/.opam/4.02.1/man/man5"
  242. - make[1]: Leaving directory '/home/spearman/.opam/4.02.1/build/ocamlfind.1.7.1'
  243. ∗ installed ocamlfind.1.7.1
  244. [ocamlgraph: touch] Command started
  245. + touch "./configure" (CWD=/home/spearman/.opam/4.02.1/build/ocamlgraph.1.8.6)
  246. [ocamlgraph: ./configure] Command started
  247. + ./configure (CWD=/home/spearman/.opam/4.02.1/build/ocamlgraph.1.8.6)
  248. - checking for ocamlc... ocamlc
  249. - ocaml version is 4.02.1
  250. - ocaml library path is /home/spearman/.opam/4.02.1/lib/ocaml
  251. - checking for ocamlopt... ocamlopt
  252. - checking ocamlopt version... ok
  253. - checking for ocamlc.opt... ocamlc.opt
  254. - checking ocamlc.opt version... ok
  255. - checking for ocamlopt.opt... ocamlopt.opt
  256. - checking ocamlc.opt version... ok
  257. - checking for ocamldep... ocamldep
  258. - checking for ocamllex... ocamllex
  259. - checking for ocamllex.opt... ocamllex.opt
  260. - checking for ocamlyacc... ocamlyacc
  261. - checking for ocamldoc... ocamldoc
  262. - checking for ocamldoc.opt... ocamldoc.opt
  263. - checking for ocamlweb... true
  264. - checking for ocamlfind... ocamlfind
  265. - OCamlfind detected and enabled
  266. - checking for /home/spearman/.opam/4.02.1/lib/ocaml/lablgtk2/lablgtk.cmxa... no
  267. - checking Win32 platform... no
  268. - configure: creating ./config.status
  269. - config.status: creating Makefile
  270. - ocamlfind: Package `lablgtk2' not found
  271. - configure: WARNING: lablgnomecanvas not found: the graph editor and view_graph will not be compiled
  272. [ocamlgraph: make] Command started
  273. + make (CWD=/home/spearman/.opam/4.02.1/build/ocamlgraph.1.8.6)
  274. - sed -e s/VERSION/1.8.6/ -e s/CMA/graph.cma/ -e s/CMXA/graph.cmxa/ \
  275. - META.in > META
  276. - rm -f src/version.ml
  277. - echo "let version = \""1.8.6"\"" > src/version.ml
  278. - echo "let date = \""`date`"\"" >> src/version.ml
  279. - rm -f .depend
  280. - ocamldep -slash -I src -I lib -I editor -I view_graph -I dgraph\
  281. - lib/*.ml lib/*.mli \
  282. - src/*.ml src/*.mli \
  283. - editor/*.mli editor/*.ml \
  284. - view_graph/*.mli view_graph/*.ml \
  285. - dgraph/*.mli dgraph/*.ml > .depend
  286. - ocamlc.opt -c -I src -I lib -g -dtypes src/sig.mli
  287. - ocamlc.opt -c -I src -I lib -g -dtypes src/sig_pack.mli
  288. - ocamlc.opt -c -I src -I lib -g -dtypes src/dot_ast.mli
  289. - ocamlc.opt -c -I src -I lib -g -dtypes lib/unionfind.mli
  290. - ocamlc.opt -c -I src -I lib -g -dtypes lib/unionfind.ml
  291. - ocamlc.opt -c -I src -I lib -g -dtypes lib/heap.mli
  292. - ocamlc.opt -c -I src -I lib -g -dtypes lib/heap.ml
  293. - ocamlc.opt -c -I src -I lib -g -dtypes lib/bitv.mli
  294. - ocamlc.opt -c -I src -I lib -g -dtypes lib/bitv.ml
  295. - ocamlc.opt -c -I src -I lib -g -dtypes src/version.ml
  296. - ocamlc.opt -c -I src -I lib -g -dtypes src/util.mli
  297. - ocamlc.opt -c -I src -I lib -g -dtypes src/util.ml
  298. - ocamlc.opt -c -I src -I lib -g -dtypes src/blocks.ml
  299. - File "lib/bitv.ml", line 464, characters 27-39:
  300. - Warning 3: deprecated: String.set
  301. - Use Bytes.set instead.
  302. - ocamlc.opt -c -I src -I lib -g -dtypes src/persistent.mli
  303. - ocamlc.opt -c -I src -I lib -g -dtypes src/persistent.ml
  304. - ocamlc.opt -c -I src -I lib -g -dtypes src/imperative.mli
  305. - ocamlc.opt -c -I src -I lib -g -dtypes src/imperative.ml
  306. - ocamlc.opt -c -I src -I lib -g -dtypes src/delaunay.mli
  307. - ocamlc.opt -c -I src -I lib -g -dtypes src/delaunay.ml
  308. - ocamlc.opt -c -I src -I lib -g -dtypes src/builder.mli
  309. - ocamlc.opt -c -I src -I lib -g -dtypes src/builder.ml
  310. - ocamlc.opt -c -I src -I lib -g -dtypes src/classic.mli
  311. - ocamlc.opt -c -I src -I lib -g -dtypes src/classic.ml
  312. - ocamlc.opt -c -I src -I lib -g -dtypes src/rand.mli
  313. - ocamlc.opt -c -I src -I lib -g -dtypes src/rand.ml
  314. - ocamlc.opt -c -I src -I lib -g -dtypes src/oper.mli
  315. - ocamlc.opt -c -I src -I lib -g -dtypes src/oper.ml
  316. - ocamlc.opt -c -I src -I lib -g -dtypes src/components.mli
  317. - ocamlc.opt -c -I src -I lib -g -dtypes src/components.ml
  318. - ocamlc.opt -c -I src -I lib -g -dtypes src/path.mli
  319. - ocamlc.opt -c -I src -I lib -g -dtypes src/path.ml
  320. - ocamlc.opt -c -I src -I lib -g -dtypes src/nonnegative.mli
  321. - ocamlc.opt -c -I src -I lib -g -dtypes src/nonnegative.ml
  322. - ocamlc.opt -c -I src -I lib -g -dtypes src/traverse.mli
  323. - ocamlc.opt -c -I src -I lib -g -dtypes src/traverse.ml
  324. - ocamlc.opt -c -I src -I lib -g -dtypes src/coloring.mli
  325. - ocamlc.opt -c -I src -I lib -g -dtypes src/coloring.ml
  326. - ocamlc.opt -c -I src -I lib -g -dtypes src/topological.mli
  327. - ocamlc.opt -c -I src -I lib -g -dtypes src/topological.ml
  328. - ocamlc.opt -c -I src -I lib -g -dtypes src/kruskal.mli
  329. - ocamlc.opt -c -I src -I lib -g -dtypes src/kruskal.ml
  330. - ocamlc.opt -c -I src -I lib -g -dtypes src/flow.mli
  331. - ocamlc.opt -c -I src -I lib -g -dtypes src/flow.ml
  332. - ocamlc.opt -c -I src -I lib -g -dtypes src/prim.mli
  333. - ocamlc.opt -c -I src -I lib -g -dtypes src/prim.ml
  334. - ocamlc.opt -c -I src -I lib -g -dtypes src/dominator.mli
  335. - ocamlc.opt -c -I src -I lib -g -dtypes src/dominator.ml
  336. - ocamlc.opt -c -I src -I lib -g -dtypes src/graphviz.mli
  337. - ocamlc.opt -c -I src -I lib -g -dtypes src/graphviz.ml
  338. - ocamlc.opt -c -I src -I lib -g -dtypes src/gml.mli
  339. - ocamlc.opt -c -I src -I lib -g -dtypes src/gml.ml
  340. - ocamlc.opt -c -I src -I lib -g -dtypes src/dot_parser.mli
  341. - ocamlc.opt -c -I src -I lib -g -dtypes src/dot_parser.ml
  342. - ocamlc.opt -c -I src -I lib -g -dtypes src/dot_lexer.ml
  343. - ocamlc.opt -c -I src -I lib -g -dtypes src/dot.mli
  344. - ocamlc.opt -c -I src -I lib -g -dtypes src/dot.ml
  345. - ocamlc.opt -c -I src -I lib -g -dtypes src/pack.mli
  346. - ocamlc.opt -c -I src -I lib -g -dtypes src/pack.ml
  347. - ocamlc.opt -c -I src -I lib -g -dtypes src/gmap.mli
  348. - ocamlc.opt -c -I src -I lib -g -dtypes src/gmap.ml
  349. - ocamlc.opt -c -I src -I lib -g -dtypes src/minsep.mli
  350. - ocamlc.opt -c -I src -I lib -g -dtypes src/minsep.ml
  351. - ocamlc.opt -c -I src -I lib -g -dtypes src/cliquetree.mli
  352. - ocamlc.opt -c -I src -I lib -g -dtypes src/cliquetree.ml
  353. - ocamlc.opt -c -I src -I lib -g -dtypes src/mcs_m.mli
  354. - ocamlc.opt -c -I src -I lib -g -dtypes src/mcs_m.ml
  355. - ocamlc.opt -c -I src -I lib -g -dtypes src/md.mli
  356. - ocamlc.opt -c -I src -I lib -g -dtypes src/md.ml
  357. - ocamlc.opt -c -I src -I lib -g -dtypes src/strat.mli
  358. - ocamlc.opt -c -I src -I lib -g -dtypes src/strat.ml
  359. - ocamlc.opt -c -I src -I lib -g -dtypes src/fixpoint.mli
  360. - ocamlc.opt -c -I src -I lib -g -dtypes src/fixpoint.ml
  361. - ocamlc.opt -c -I src -I lib -g -dtypes src/leaderlist.mli
  362. - ocamlc.opt -c -I src -I lib -g -dtypes src/leaderlist.ml
  363. - ocamlc.opt -c -I src -I lib -g -dtypes src/contraction.mli
  364. - ocamlc.opt -c -I src -I lib -g -dtypes src/contraction.ml
  365. - ocamlc.opt -c -I src -I lib -g -dtypes src/graphml.mli
  366. - ocamlc.opt -c -I src -I lib -g -dtypes src/graphml.ml
  367. - ocamlc.opt -c -I src -I lib -g -dtypes src/merge.mli
  368. - ocamlc.opt -c -I src -I lib -g -dtypes src/merge.ml
  369. - ocamlc.opt -c -I src -I lib -g -dtypes src/mincut.mli
  370. - ocamlc.opt -c -I src -I lib -g -dtypes src/mincut.ml
  371. - ocamlc.opt -c -I src -I lib -g -dtypes src/clique.mli
  372. - ocamlc.opt -c -I src -I lib -g -dtypes src/clique.ml
  373. - ocamlc.opt -I src -I lib -pack -g -o graph.cmo src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmo lib/heap.cmo lib/bitv.cmo src/version.cmo src/util.cmo src/blocks.cmo src/persistent.cmo src/imperative.cmo src/delaunay.cmo src/builder.cmo src/classic.cmo src/rand.cmo src/oper.cmo src/components.cmo src/path.cmo src/nonnegative.cmo src/traverse.cmo src/coloring.cmo src/topological.cmo src/kruskal.cmo src/flow.cmo src/prim.cmo src/dominator.cmo src/graphviz.cmo src/gml.cmo src/dot_parser.cmo src/dot_lexer.cmo src/dot.cmo src/pack.cmo src/gmap.cmo src/minsep.cmo src/cliquetree.cmo src/mcs_m.cmo src/md.cmo src/strat.cmo src/fixpoint.cmo src/leaderlist.cmo src/contraction.cmo src/graphml.cmo src/merge.cmo src/mincut.cmo src/clique.cmo
  374. - File "src/gml.ml", line 418, characters 27-39:
  375. - Warning 3: deprecated: Array.create
  376. - Use Array.make instead.
  377. - File "src/gml.ml", line 455, characters 27-39:
  378. - Warning 3: deprecated: Array.create
  379. - Use Array.make instead.
  380. - ocamlc.opt -I src -I lib -a -g -o graph.cma graph.cmo
  381. - ocamlopt.opt -c -I src -I lib -for-pack Graph lib/unionfind.ml
  382. - ocamlopt.opt -c -I src -I lib -for-pack Graph lib/heap.ml
  383. - ocamlopt.opt -c -I src -I lib -for-pack Graph lib/bitv.ml
  384. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/version.ml
  385. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/util.ml
  386. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/blocks.ml
  387. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/persistent.ml
  388. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/imperative.ml
  389. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/delaunay.ml
  390. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/builder.ml
  391. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/classic.ml
  392. - File "lib/bitv.ml", line 464, characters 27-39:
  393. - Warning 3: deprecated: String.set
  394. - Use Bytes.set instead.
  395. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/rand.ml
  396. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/oper.ml
  397. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/components.ml
  398. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/path.ml
  399. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/nonnegative.ml
  400. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/traverse.ml
  401. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/coloring.ml
  402. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/topological.ml
  403. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/kruskal.ml
  404. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/flow.ml
  405. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/prim.ml
  406. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/dominator.ml
  407. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/graphviz.ml
  408. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/gml.ml
  409. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot_parser.ml
  410. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot_lexer.ml
  411. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot.ml
  412. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/pack.ml
  413. - File "src/gml.ml", line 418, characters 27-39:
  414. - Warning 3: deprecated: Array.create
  415. - Use Array.make instead.
  416. - File "src/gml.ml", line 455, characters 27-39:
  417. - Warning 3: deprecated: Array.create
  418. - Use Array.make instead.
  419. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/gmap.ml
  420. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/minsep.ml
  421. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/cliquetree.ml
  422. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/mcs_m.ml
  423. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/md.ml
  424. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/strat.ml
  425. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/fixpoint.ml
  426. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/leaderlist.ml
  427. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/contraction.ml
  428. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/graphml.ml
  429. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/merge.ml
  430. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/mincut.ml
  431. - ocamlopt.opt -c -I src -I lib -for-pack Graph src/clique.ml
  432. - ocamlopt.opt -I src -I lib -pack -o graph.cmx src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmx lib/heap.cmx lib/bitv.cmx src/version.cmx src/util.cmx src/blocks.cmx src/persistent.cmx src/imperative.cmx src/delaunay.cmx src/builder.cmx src/classic.cmx src/rand.cmx src/oper.cmx src/components.cmx src/path.cmx src/nonnegative.cmx src/traverse.cmx src/coloring.cmx src/topological.cmx src/kruskal.cmx src/flow.cmx src/prim.cmx src/dominator.cmx src/graphviz.cmx src/gml.cmx src/dot_parser.cmx src/dot_lexer.cmx src/dot.cmx src/pack.cmx src/gmap.cmx src/minsep.cmx src/cliquetree.cmx src/mcs_m.cmx src/md.cmx src/strat.cmx src/fixpoint.cmx src/leaderlist.cmx src/contraction.cmx src/graphml.cmx src/merge.cmx src/mincut.cmx src/clique.cmx
  433. - ocamlopt.opt -I src -I lib -a -o graph.cmxa graph.cmx
  434. - ocamlopt.opt -I src -I lib -shared -o graph.cmxs graph.cmx
  435. [ocamlgraph: make install-findlib] Command started
  436. + make "install-findlib" (CWD=/home/spearman/.opam/4.02.1/build/ocamlgraph.1.8.6)
  437. - ocamlfind install ocamlgraph META \
  438. - src/*.mli view_graph/*.mli dgraph/*.mli \
  439. - graph.a graph.cmx graph.cmo graph.cmi graph.cma graph.cmxa
  440. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/graph.cmxa
  441. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/graph.cma
  442. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/graph.cmi
  443. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/graph.cmo
  444. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/graph.cmx
  445. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/graph.a
  446. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/xDotDraw.mli
  447. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/xDot.mli
  448. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/dGraphViewItem.mli
  449. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/dGraphView.mli
  450. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/dGraphTreeModel.mli
  451. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/dGraphTreeLayout.mli
  452. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/dGraphSubTree.mli
  453. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/dGraphRandModel.mli
  454. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/dGraphModel.mli
  455. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/dGraphContainer.mli
  456. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/viewGraph_utils.mli
  457. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/viewGraph_select.mli
  458. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/viewGraph_core.mli
  459. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/util.mli
  460. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/traverse.mli
  461. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/topological.mli
  462. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/strat.mli
  463. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/sig_pack.mli
  464. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/sig.mli
  465. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/rand.mli
  466. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/prim.mli
  467. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/persistent.mli
  468. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/path.mli
  469. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/pack.mli
  470. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/oper.mli
  471. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/nonnegative.mli
  472. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/minsep.mli
  473. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/mincut.mli
  474. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/merge.mli
  475. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/md.mli
  476. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/mcs_m.mli
  477. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/leaderlist.mli
  478. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/kruskal.mli
  479. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/imperative.mli
  480. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/graphviz.mli
  481. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/graphml.mli
  482. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/gml.mli
  483. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/gmap.mli
  484. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/flow.mli
  485. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/fixpoint.mli
  486. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/dot_parser.mli
  487. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/dot_ast.mli
  488. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/dot.mli
  489. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/dominator.mli
  490. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/delaunay.mli
  491. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/contraction.mli
  492. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/components.mli
  493. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/coloring.mli
  494. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/cliquetree.mli
  495. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/clique.mli
  496. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/classic.mli
  497. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/builder.mli
  498. - Installed /home/spearman/.opam/4.02.1/lib/ocamlgraph/META
  499. ∗ installed ocamlgraph.1.8.6
  500. [frama-c-base: sh] Command started
  501. + sh "-eux" "./run_autoconf_if_needed.sh" (CWD=/home/spearman/.opam/4.02.1/build/frama-c-base.20160502)
  502. - + [ ! -f configure ]
  503. [frama-c-base: ./configure] Command started
  504. + ./configure "--prefix" "/home/spearman/.opam/4.02.1" "--disable-local-ocamlgraph" "--disable-gui" (CWD=/home/spearman/.opam/4.02.1/build/frama-c-base.20160502)
  505. - configure: ******************
  506. - configure: * CONFIGURE MAKE *
  507. - configure: ******************
  508. - checking for make... make
  509. - checking version of make... 4.2
  510. - configure: *****************************
  511. - configure: * CONFIGURE OCAML COMPILERS *
  512. - configure: *****************************
  513. - checking for ocamlc... ocamlc
  514. - checking version of OCaml... 4.02.1
  515. - checking OCaml library path... /home/spearman/.opam/4.02.1/lib/ocaml
  516. - checking for ocamlopt... ocamlopt
  517. - checking ocamlopt version and standard library... ok
  518. - checking for ocamlc.opt... ocamlc.opt
  519. - checking ocamlc.opt version and standard library... ok
  520. - checking for ocamlopt.opt... ocamlopt.opt
  521. - checking ocamlc.opt version and standard library... ok
  522. - configure: *******************************************
  523. - configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES *
  524. - configure: *******************************************
  525. - checking for ocamldep... ocamldep
  526. - checking for ocamldep.opt... ocamldep.opt
  527. - checking for ocamllex... ocamllex
  528. - checking for ocamllex.opt... ocamllex.opt
  529. - checking for ocamlyacc... ocamlyacc
  530. - checking for ocamlfind... ocamlfind
  531. - configure: ******************************************
  532. - configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES *
  533. - configure: ******************************************
  534. - checking for ocamldoc... ocamldoc
  535. - checking for ocamldoc.opt... ocamldoc.opt
  536. - checking for ocamlmktop... ocamlmktop
  537. - checking for ocamlcp... ocamlcp
  538. - checking for otags... no
  539. - configure: OcamlGraph 1.8.6 found: great!
  540. - configure: OcamlGraph native version is ok
  541. - checking for Zarith... checking for Apron... not found. The corresponding domains won't be available in Eva
  542. - configure: **********************
  543. - configure: * CONFIGURE PLATFORM *
  544. - configure: **********************
  545. - checking platform... Unix
  546. - checking OCaml native threads... ok.
  547. - checking for gcc... gcc
  548. - checking whether the C compiler works... yes
  549. - checking for C compiler default output file name... a.out
  550. - checking for suffix of executables...
  551. - checking whether we are cross compiling... no
  552. - checking for suffix of object files... o
  553. - checking whether we are using the GNU C compiler... yes
  554. - checking whether gcc accepts -g... yes
  555. - checking for gcc option to accept ISO C89... none needed
  556. - checking how to run the C preprocessor... gcc -E
  557. - checking for grep that handles long lines and -e... /bin/grep
  558. - checking for egrep... /bin/grep -E
  559. - checking for ANSI C header files...
  560. - configure: WARNING: Zarith not found: will use the default less efficient library instead
  561. - yes
  562. - checking for sys/types.h... yes
  563. - checking for sys/stat.h... yes
  564. - checking for stdlib.h... yes
  565. - checking for string.h... yes
  566. - checking for memory.h... yes
  567. - checking for strings.h... yes
  568. - checking for inttypes.h... yes
  569. - checking for stdint.h... yes
  570. - checking for unistd.h... yes
  571. - checking for stdlib.h... (cached) yes
  572. - checking assert.h usability... yes
  573. - checking assert.h presence... yes
  574. - checking for assert.h... yes
  575. - checking float.h usability... yes
  576. - checking float.h presence... yes
  577. - checking for float.h... yes
  578. - checking math.h usability... yes
  579. - checking math.h presence...
  580. - yes
  581. - checking for math.h... yes
  582. - checking signal.h usability... yes
  583. - checking signal.h presence... yes
  584. - checking for signal.h... yes
  585. - checking for unistd.h... (cached) yes
  586. - checking how to run the C preprocessor... gcc -E
  587. - /* Check whether comments are kept in output */
  588. - Default preprocessor is 'gcc -E -C -I.'.
  589. - configure: ***************************
  590. - configure: * WISHED FRAMA-C PLUG-INS *
  591. - configure: ***************************
  592. - checking for src/plugins/callgraph... yes
  593. - callgraph... yes
  594. - checking for src/plugins/constant_propagation... yes
  595. - semantic_constant_folding... yes
  596. - checking for src/plugins/from... yes
  597. - from_analysis... yes
  598. - checking for src/plugins/gui... yes
  599. - gui... no
  600. - checking for src/plugins/impact... yes
  601. - impact... yes
  602. - checking for src/plugins/inout... yes
  603. - inout... yes
  604. - checking for src/plugins/metrics... yes
  605. - metrics... yes
  606. - checking for src/plugins/occurrence... yes
  607. - occurrence... yes
  608. - checking for src/plugins/pdg... yes
  609. - pdg... yes
  610. - checking for src/plugins/postdominators... yes
  611. - postdominators... yes
  612. - checking for src/plugins/rte... yes
  613. - rtegen... yes
  614. - checking for src/plugins/scope... yes
  615. - scope... yes
  616. - checking for src/plugins/slicing... yes
  617. - slicing... yes
  618. - checking for src/plugins/sparecode... yes
  619. - sparecode... yes
  620. - checking for src/plugins/users... yes
  621. - users... yes
  622. - checking for src/plugins/value... yes
  623. - value_analysis... yes
  624. - checking for src/plugins/aorai/Makefile.in... yes
  625. - aorai... yes
  626. - checking for ltl2ba... no
  627. - checking for src/plugins/loop_analysis/Makefile.in... yes
  628. - loop_analysis... yes
  629. - checking for src/plugins/nonterm/Makefile.in... yes
  630. - nonterm... yes
  631. - checking for src/plugins/obfuscator/Makefile.in... yes
  632. - obfuscator... yes
  633. - checking for src/plugins/print_api... yes
  634. - print_api... yes
  635. - checking for src/plugins/report/Makefile.in... yes
  636. - report... yes
  637. - checking for src/plugins/security_slicing/Makefile.in... yes
  638. - security_slicing... yes
  639. - checking for src/plugins/variadic/Makefile.in... yes
  640. - variadic... yes
  641. - checking for src/plugins/wp/Makefile.in... yes
  642. - wp... yes
  643. - configure: *******************************************************
  644. - configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
  645. - configure: *******************************************************
  646. - Ocamlfind -> using +lablgtk2.(,/home/spearman/.opam/4.02.1/lib/ocaml/lablgtk2)
  647. - checking for /home/spearman/.opam/4.02.1/lib/ocaml/lablgtk2/lablgtksourceview2.cmxa... no
  648. - checking for /home/spearman/.opam/4.02.1/lib/ocaml/lablgtk2/lablgnomecanvas.cmxa... no
  649. - checking for /home/spearman/.opam/4.02.1/lib/ocaml/lablgtk2/lablgtk.cmxa... no
  650. - checking for dot... yes
  651. - checking for /home/spearman/.opam/4.02.1/lib/ocaml/dynlink.cmxa... yes
  652. - native dynlink works fine. Great.
  653. - configure: *************************************
  654. - configure: * CHECKING FOR PLUG-IN DEPENDENCIES *
  655. - configure: *************************************
  656. - checking for coqc... no
  657. - configure: rerun configure to make wp using coq 8.5
  658. - ocamlfind: Package `lablgtk2' not found
  659. - configure: WARNING: ltl2ba not found.
  660. - configure: WARNING: aorai partially enabled because ltl2ba missing.
  661. - configure: WARNING: lablgtksourceview2.cmxa not found
  662. - configure: WARNING: lablgnomecanvas.cmxa not found
  663. - configure: WARNING: /home/spearman/.opam/4.02.1/lib/ocaml/lablgtk2/lablgtk.cmxa not found.
  664. - configure: WARNING: callgraph partially enabled because gui not enabled.
  665. - configure: WARNING: security_slicing disabled because gui not enabled.
  666. - configure: WARNING: impact only partially enabled because gui not enabled.
  667. - configure: WARNING: metrics only partially enabled because gui not enabled.
  668. - configure: WARNING: occurrence only partially enabled because gui not enabled.
  669. - configure: WARNING: scope only partially enabled because gui not enabled.
  670. - configure: WARNING: slicing only partially enabled because gui not enabled.
  671. - configure: WARNING: value_analysis only partially enabled because gui not enabled.
  672. - configure: WARNING: wp only partially enabled because gui not enabled.
  673. - configure: *********************
  674. - configure: * CREATING MAKEFILE *
  675. - configure: *********************
  676. - configure: creating ./config.status
  677. - config.status: creating src/plugins/loop_analysis/Makefile
  678. - config.status: creating src/plugins/nonterm/Makefile
  679. - config.status: creating src/plugins/obfuscator/Makefile
  680. - config.status: creating src/plugins/report/Makefile
  681. - config.status: creating src/plugins/variadic/Makefile
  682. - config.status: creating src/plugins/aorai/Makefile
  683. - config.status: creating src/plugins/security_slicing/Makefile
  684. - config.status: creating src/plugins/wp/Makefile
  685. - config.status: creating share/Makefile.config
  686. - configure: *******************************
  687. - configure: * SUMMARY: PLUG-INS AVAILABLE *
  688. - configure: *******************************
  689. - configure: callgraph: partial, dynamic, gui not enabled
  690. - configure: semantic_constant_folding: yes, dynamic
  691. - configure: from_analysis: yes, dynamic
  692. - configure: gui: no
  693. - configure: impact: partial, dynamic, gui not enabled
  694. - configure: inout: yes, dynamic
  695. - configure: metrics: partial, dynamic, gui not enabled
  696. - configure: occurrence: partial, dynamic, gui not enabled
  697. - configure: pdg: yes, dynamic
  698. - configure: postdominators: yes
  699. - configure: rtegen: yes
  700. - configure: scope: partial, dynamic, gui not enabled
  701. - configure: slicing: partial, dynamic, gui not enabled
  702. - configure: sparecode: yes, dynamic
  703. - configure: users: yes, dynamic
  704. - configure: value_analysis: partial, dynamic, gui not enabled
  705. - configure: aorai: partial, dynamic, ltl2ba missing
  706. - configure: loop_analysis: yes, dynamic
  707. - configure: nonterm: yes, dynamic
  708. - configure: obfuscator: yes, dynamic
  709. - configure: print_api: yes, dynamic
  710. - configure: report: yes, dynamic
  711. - configure: security_slicing: no, gui not enabled
  712. - configure: variadic: yes, dynamic
  713. - configure: wp: partial, dynamic, gui not enabled
  714. [frama-c-base: make] Command started
  715. + make "-j4" (CWD=/home/spearman/.opam/4.02.1/build/frama-c-base.20160502)
  716. - Ocamllex src/libraries/utils/json.ml
  717. - Ocamllex src/kernel_internals/parsing/clexer.ml
  718. - 35 states, 360 transitions, table size 1650 bytes
  719. - Ocamlyacc src/kernel_internals/parsing/cparser.ml
  720. - Generating src/libraries/stdlib/integer.ml
  721. - Generating src/libraries/stdlib/FCDynlink.ml
  722. - Ocamllex src/kernel_internals/parsing/logic_lexer.ml
  723. - Ocamlyacc src/kernel_internals/parsing/logic_parser.ml
  724. - 148 states, 1842 transitions, table size 8256 bytes
  725. - 1933 additional bytes used for bindings
  726. - Ocamllex src/kernel_internals/parsing/logic_preprocess.ml
  727. - 381 states, 4411 transitions, table size 19930 bytes
  728. - 3329 additional bytes used for bindings
  729. - 136 states, 558 transitions, table size 3048 bytes
  730. - 2127 additional bytes used for bindings
  731. - Generating src/plugins/value/domains/apron/apron_domain.ml
  732. - Generating share/frama-c.rc
  733. - Generating src/kernel_internals/runtime/config.ml
  734. - Generating share/Makefile.dynamic_config
  735. - Generating share/Makefile.kernel
  736. - Generating src/plugins/wp/Makefile.plugin.generated
  737. - Generating src/plugins/variadic/Makefile.plugin.generated
  738. - Generating src/plugins/security_slicing/Makefile.plugin.generated
  739. - Generating src/plugins/report/Makefile.plugin.generated
  740. - Generating src/plugins/print_api/Makefile.plugin.generated
  741. - Generating src/plugins/obfuscator/Makefile.plugin.generated
  742. - Generating src/plugins/nonterm/Makefile.plugin.generated
  743. - Generating src/plugins/loop_analysis/Makefile.plugin.generated
  744. - Generating src/plugins/aorai/Makefile.plugin.generated
  745. - Generating src/plugins/slicing/Makefile.plugin.generated
  746. - Generating src/plugins/sparecode/Makefile.plugin.generated
  747. - Generating src/plugins/scope/Makefile.plugin.generated
  748. - Generating src/plugins/pdg/Makefile.plugin.generated
  749. - Generating src/plugins/impact/Makefile.plugin.generated
  750. - Generating src/plugins/inout/Makefile.plugin.generated
  751. - Generating src/plugins/postdominators/Makefile.plugin.generated
  752. - Generating src/plugins/constant_propagation/Makefile.plugin.generated
  753. - Generating src/plugins/users/Makefile.plugin.generated
  754. - Generating src/plugins/from/Makefile.plugin.generated
  755. - Generating src/plugins/rte/Makefile.plugin.generated
  756. - Generating src/plugins/occurrence/Makefile.plugin.generated
  757. - Generating src/plugins/value/Makefile.plugin.generated
  758. - Generating src/plugins/callgraph/Makefile.plugin.generated
  759. - Generating src/plugins/metrics/Makefile.plugin.generated
  760. - Generating src/kernel_internals/runtime/frama_c_config.ml
  761. - Generating .depend
  762. - Ocamllex src/plugins/wp/script.ml
  763. - Ocamllex src/plugins/wp/rformat.ml
  764. - Ocamllex src/plugins/wp/driver.ml
  765. - Ocamllex src/plugins/wp/why3_xml.ml
  766. - 30 states, 1109 transitions, table size 4616 bytes
  767. - 4387 additional bytes used for bindings
  768. - 57 states, 826 transitions, table size 3646 bytes
  769. - Ocamllex src/plugins/wp/qed/src/numbers.ml
  770. - 105 states, 2064 transitions, table size 8886 bytes
  771. - 2265 additional bytes used for bindings
  772. - 114 states, 1396 transitions, table size 6268 bytes
  773. - 3538 additional bytes used for bindings
  774. - 53 states, 1709 transitions, table size 7154 bytes
  775. - 4689 additional bytes used for bindings
  776. - Generating src/plugins/wp/Wp.mli
  777. - Ocamlyacc src/plugins/print_api/grammar.ml
  778. - Ocamllex src/plugins/print_api/lexer.ml
  779. - Ocamllex src/plugins/aorai/promelalexer_withexps.ml
  780. - 8 states, 264 transitions, table size 1104 bytes
  781. - 100 states, 4420 transitions, table size 18280 bytes
  782. - Ocamllex src/plugins/aorai/promelalexer.ml
  783. - Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml
  784. - Ocamlyacc src/plugins/aorai/promelaparser.ml
  785. - Ocamllex src/plugins/aorai/ltllexer.ml
  786. - Ocamlyacc src/plugins/aorai/ltlparser.ml
  787. - 85 states, 4392 transitions, table size 18078 bytes
  788. - 82 states, 3369 transitions, table size 13968 bytes
  789. - Ocamllex src/plugins/aorai/yalexer.ml
  790. - Ocamlyacc src/plugins/aorai/yaparser.ml
  791. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Metrics.mli
  792. - 73 states, 2302 transitions, table size 9646 bytes
  793. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Callgraph.mli
  794. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Value.mli
  795. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Occurrence.mli
  796. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/RteGen.mli
  797. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/From.mli
  798. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Users.mli
  799. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Constant_Propagation.mli
  800. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Postdominators.mli
  801. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Inout.mli
  802. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Impact.mli
  803. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Pdg.mli
  804. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Scope.mli
  805. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Sparecode.mli
  806. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Slicing.mli
  807. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Aorai.mli
  808. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/LoopAnalysis.mli
  809. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Nonterm.mli
  810. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Obfuscator.mli
  811. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Print_api.mli
  812. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Report.mli
  813. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Variadic.mli
  814. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Obfuscator.mli
  815. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Nonterm.mli
  816. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/LoopAnalysis.mli
  817. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Aorai.mli
  818. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Slicing.mli
  819. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Sparecode.mli
  820. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Scope.mli
  821. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Pdg.mli
  822. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Impact.mli
  823. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Inout.mli
  824. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Postdominators.mli
  825. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Constant_Propagation.mli
  826. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Users.mli
  827. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/From.mli
  828. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/RteGen.mli
  829. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Occurrence.mli
  830. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Value.mli
  831. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Callgraph.mli
  832. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Metrics.mli
  833. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Variadic.mli
  834. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Report.mli
  835. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Print_api.mli
  836. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Wp.mli
  837. - Generating /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Wp.mli
  838. - Ocamldep src/plugins/variadic/.depend
  839. - Ocamldep src/plugins/report/.depend
  840. - Ocamldep src/plugins/print_api/.depend
  841. - Ocamldep src/plugins/obfuscator/.depend
  842. - Ocamldep src/plugins/nonterm/.depend
  843. - Ocamldep src/plugins/loop_analysis/.depend
  844. - Ocamldep src/plugins/aorai/.depend
  845. - Ocamldep src/plugins/slicing/.depend
  846. - Ocamldep src/plugins/sparecode/.depend
  847. - Ocamldep src/plugins/scope/.depend
  848. - Ocamldep src/plugins/pdg/.depend
  849. - Ocamldep src/plugins/impact/.depend
  850. - Ocamldep src/plugins/inout/.depend
  851. - Ocamldep src/plugins/postdominators/.depend
  852. - Ocamldep src/plugins/constant_propagation/.depend
  853. - Ocamldep src/plugins/users/.depend
  854. - Ocamldep src/plugins/from/.depend
  855. - Ocamldep src/plugins/rte/.depend
  856. - Ocamldep src/plugins/occurrence/.depend
  857. - Ocamldep src/plugins/value/.depend
  858. - Ocamldep src/plugins/callgraph/.depend
  859. - Ocamldep src/plugins/metrics/.depend
  860. - Ocamldep src/plugins/wp/.depend
  861. - 4 shift/reduce conflicts.
  862. - 7 shift/reduce conflicts.
  863. - Generating META.frama-c-aorai
  864. - Ocamlc src/plugins/aorai/bool3.cmi
  865. - Ocamlc src/libraries/datatype/unmarshal.cmi
  866. - Ocamlc src/libraries/stdlib/FCSet.cmi
  867. - Ocamlc src/libraries/utils/pretty_utils.cmi
  868. - Ocamlc src/libraries/stdlib/FCMap.cmi
  869. - Ocamlc src/libraries/stdlib/FCHashtbl.cmi
  870. - Ocamlc src/libraries/stdlib/extlib.cmi
  871. - Ocamlc src/plugins/aorai/ltlast.cmi
  872. - Ocamlc src/plugins/aorai/aorai_dataflow.cmi
  873. - Ocamlc src/libraries/utils/filepath.cmi
  874. - Ocamlc src/libraries/utils/escape.cmi
  875. - Ocamlc src/libraries/utils/hook.cmi
  876. - Ocamlc src/plugins/value_types/cilE.cmi
  877. - Ocamlopt src/plugins/aorai/bool3.cmx
  878. - Ocamlopt src/libraries/datatype/unmarshal.cmx
  879. - Ocamlc src/libraries/stdlib/FCDynlink.cmi
  880. - Ocamlopt src/libraries/stdlib/FCSet.cmx
  881. - Ocamlopt src/libraries/utils/hook.cmx
  882. - Ocamlc src/kernel_internals/runtime/config.cmi
  883. - Ocamlopt src/libraries/stdlib/FCMap.cmx
  884. - Ocamlc src/libraries/utils/qstack.cmi
  885. - Ocamlc src/libraries/utils/binary_cache.cmi
  886. - Ocamlc src/libraries/utils/utf8_logic.cmi
  887. - Ocamlopt src/libraries/utils/escape.cmx
  888. - Ocamlc src/kernel_internals/typing/alpha.cmi
  889. - Ocamlc src/kernel_internals/parsing/errorloc.cmi
  890. - Ocamlc src/libraries/utils/wto.cmi
  891. - Ocamlc src/libraries/utils/bitvector.cmi
  892. - Ocamlc src/kernel_internals/parsing/logic_preprocess.cmi
  893. - Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmi
  894. - Ocamlc src/libraries/utils/unicode.cmi
  895. - Generating ptests/ptests_config.ml
  896. - Generating tests/ptests_config
  897. - Generating src/plugins/report/tests/ptests_config
  898. - Generating src/plugins/wp/tests/ptests_config
  899. - Ocamlc src/plugins/aorai/bool3.cmo
  900. - Ocamlc src/libraries/datatype/structural_descr.cmi
  901. - Ocamlc src/kernel_services/plugin_entry_points/log.cmi
  902. - Ocamlc src/libraries/stdlib/integer.cmi
  903. - Ocamlc src/plugins/aorai/ltl_output.cmi
  904. - Ocamlopt src/libraries/stdlib/FCDynlink.cmx
  905. - Ocamlopt src/libraries/stdlib/integer.cmx
  906. - Ocamlopt src/libraries/stdlib/FCHashtbl.cmx
  907. - Ocamlopt src/libraries/utils/qstack.cmx
  908. - Ocamlopt src/libraries/utils/utf8_logic.cmx
  909. - Ocamlopt src/plugins/aorai/ltl_output.cmx
  910. - Ocamlopt src/libraries/utils/bitvector.cmx
  911. - Ocamlopt src/libraries/utils/wto.cmx
  912. - Linking bin/ptests.opt
  913. - Ocamlc src/libraries/datatype/type.cmi
  914. - Ocamlc src/libraries/project/project_skeleton.cmi
  915. - Ocamlc src/kernel_services/ast_data/cil_types.cmi
  916. - Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmi
  917. - Ocamlc src/plugins/aorai/ltl_output.cmo
  918. - Ocamlopt src/libraries/datatype/structural_descr.cmx
  919. - Ocamlopt src/libraries/stdlib/extlib.cmx
  920. - Ocamlc src/kernel_services/plugin_entry_points/journal.cmi
  921. - Ocamlc src/libraries/utils/floating_point.cmi
  922. - Ocamlc src/kernel_internals/runtime/machdeps.cmi
  923. - Ocamlc src/kernel_services/ast_queries/ast_info.cmi
  924. - Ocamlc src/kernel_services/ast_printing/cil_descriptive_printer.cmi
  925. - Ocamlc src/kernel_internals/typing/rmtmps.cmi
  926. - Ocamlc src/kernel_services/analysis/ordered_stmt.cmi
  927. - Ocamlc src/kernel_internals/typing/oneret.cmi
  928. - Ocamlc src/kernel_internals/typing/mergecil.cmi
  929. - Ocamlc src/kernel_internals/typing/logic_builtin.cmi
  930. - Ocamlc src/libraries/datatype/descr.cmi
  931. - Ocamlc src/kernel_services/parsetree/logic_ptree.cmi
  932. - Ocamlc src/kernel_services/ast_printing/printer_api.cmi
  933. - Ocamlc src/kernel_internals/typing/cfg.cmi
  934. - Ocamlopt src/libraries/datatype/type.cmx
  935. - Ocamlopt src/libraries/utils/pretty_utils.cmx
  936. - Ocamlopt src/libraries/utils/filepath.cmx
  937. - Ocamlopt src/kernel_internals/runtime/machdeps.cmx
  938. - Ocamlc src/kernel_services/ast_printing/logic_print.cmi
  939. - Ocamlopt src/plugins/value_types/cilE.cmx
  940. - Ocamlc src/libraries/datatype/datatype.cmi
  941. - Ocamlc src/kernel_services/parsetree/cabs.cmo
  942. - Ocamlc src/plugins/aorai/promelaast.cmi
  943. - Ocamlc src/kernel_services/ast_printing/printer.cmi
  944. - Ocamlc src/kernel_services/ast_queries/logic_utils.cmi
  945. - Ocamlc src/plugins/aorai/logic_simplification.cmi
  946. - Ocamlc src/kernel_internals/parsing/logic_parser.cmi
  947. - Ocamlc src/kernel_internals/parsing/cparser.cmi
  948. - Ocamlc src/plugins/aorai/ltlparser.cmi
  949. - Ocamlc src/plugins/aorai/yaparser.cmi
  950. - Ocamlc src/plugins/aorai/promelaparser.cmi
  951. - Ocamlc src/plugins/aorai/promelaparser_withexps.cmi
  952. - Ocamlopt src/kernel_services/plugin_entry_points/log.cmx
  953. - Ocamlopt src/kernel_internals/runtime/config.cmx
  954. - Ocamlopt src/libraries/datatype/descr.cmx
  955. - Ocamlc src/kernel_services/ast_printing/printer_builder.cmi
  956. - Ocamlc src/kernel_services/ast_printing/cil_printer.cmi
  957. - Ocamlc src/kernel_services/ast_printing/cprint.cmi
  958. - Ocamlopt src/plugins/aorai/ltlparser.cmx
  959. - Ocamlc src/kernel_internals/typing/frontc.cmi
  960. - Ocamlc src/libraries/project/state.cmi
  961. - Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmi
  962. - Ocamlc src/kernel_services/ast_queries/logic_typing.cmi
  963. - Ocamlc src/plugins/aorai/promelaoutput.cmi
  964. - Ocamlc src/kernel_internals/parsing/logic_lexer.cmi
  965. - Ocamlc src/kernel_internals/parsing/clexer.cmi
  966. - Ocamlc src/kernel_services/ast_data/ast.cmi
  967. - Ocamlc src/plugins/aorai/ltlparser.cmo
  968. - Ocamlc src/plugins/aorai/ltllexer.cmo
  969. - Ocamlc src/plugins/aorai/yalexer.cmo
  970. - Ocamlc src/kernel_services/analysis/wto_statement.cmi
  971. - Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmi
  972. - Ocamlc src/kernel_services/abstract_interp/lattice_type.cmi
  973. - Ocamlc src/kernel_services/abstract_interp/int_Base.cmi
  974. - Ocamlc src/kernel_services/ast_data/property.cmi
  975. - Ocamlc src/libraries/project/state_dependency_graph.cmi
  976. - Ocamlopt src/kernel_services/cmdline_parameters/cmdline.cmx
  977. - Ocamlc src/libraries/project/state_topological.cmi
  978. - Ocamlopt src/kernel_services/parsetree/cabs.cmx
  979. - Ocamlopt src/kernel_services/ast_printing/printer_builder.cmx
  980. - Ocamlc src/kernel_services/parsetree/cabshelper.cmi
  981. - Ocamlc src/libraries/utils/rangemap.cmi
  982. - Ocamlc src/libraries/project/state_selection.cmi
  983. - Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmi
  984. - Ocamlc src/libraries/utils/hptmap_sig.cmi
  985. - Ocamlc src/kernel_services/ast_data/globals.cmi
  986. - Ocamlc src/kernel_services/analysis/dataflow2.cmi
  987. - Ocamlc src/kernel_services/abstract_interp/origin.cmi
  988. - Ocamlc src/kernel_services/abstract_interp/bottom.cmi
  989. - Ocamlopt src/plugins/aorai/ltllexer.cmx
  990. - Ocamlc src/libraries/project/project.cmi
  991. - Ocamlc src/libraries/utils/hptmap.cmi
  992. - Ocamlc src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi
  993. - Ocamlc src/libraries/project/state_builder.cmi
  994. - Ocamlc src/libraries/utils/hptset.cmi
  995. - Ocamlopt src/libraries/project/project_skeleton.cmx
  996. - Ocamlopt src/libraries/utils/binary_cache.cmx
  997. - Ocamlopt src/libraries/datatype/datatype.cmx
  998. - Ocamlc src/kernel_services/plugin_entry_points/emitter.cmi
  999. - Ocamlc src/kernel_services/ast_queries/logic_env.cmi
  1000. - Ocamlc src/kernel_services/ast_queries/cil_const.cmi
  1001. - Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmi
  1002. - Ocamlc src/kernel_services/ast_data/property_status.cmi
  1003. - Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmi
  1004. - Ocamlc src/kernel_services/ast_data/alarms.cmi
  1005. - Ocamlc src/kernel_services/ast_queries/cil_datatype.cmi
  1006. - Ocamlc src/kernel_services/ast_data/annotations.cmi
  1007. - Ocamlc src/kernel_services/abstract_interp/fval.cmi
  1008. - Ocamlc src/kernel_services/analysis/bit_utils.cmi
  1009. - Ocamlc src/kernel_services/abstract_interp/ival.cmi
  1010. - Ocamlc src/kernel_services/abstract_interp/int_Intervals_sig.cmi
  1011. - Ocamlc src/kernel_services/abstract_interp/base.cmi
  1012. - Ocamlc src/kernel_services/abstract_interp/offsetmap_sig.cmi
  1013. - Ocamlc src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi
  1014. - Ocamlc src/kernel_services/abstract_interp/tr_offset.cmi
  1015. - Ocamlc src/kernel_services/abstract_interp/offsetmap.cmi
  1016. - Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmi
  1017. - Ocamlc src/kernel_services/abstract_interp/locations.cmi
  1018. - Ocamlc src/kernel_services/cmdline_parameters/parameter_sig.cmi
  1019. - Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmi
  1020. - Ocamlc src/kernel_services/ast_data/kernel_function.cmi
  1021. - Ocamlc src/kernel_services/ast_queries/cil.cmi
  1022. - Ocamlc src/kernel_services/ast_queries/logic_const.cmi
  1023. - Ocamlc src/kernel_internals/typing/cabs2cil.cmi
  1024. - Ocamlc src/plugins/aorai/data_for_aorai.cmi
  1025. - Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmi
  1026. - Ocamlc src/plugins/value_types/precise_locs.cmi
  1027. - Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmi
  1028. - Ocamlc src/kernel_services/abstract_interp/lmap_sig.cmi
  1029. - Ocamlc src/plugins/pdg_types/pdgIndex.cmi
  1030. - Ocamlc src/plugins/value_types/inout_type.cmi
  1031. - Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmi
  1032. - Ocamlc src/kernel_services/visitors/cabsvisit.cmi
  1033. - Ocamlc src/kernel_services/abstract_interp/lmap.cmi
  1034. - Ocamlc src/kernel_services/plugin_entry_points/plugin.cmi
  1035. - Ocamlc src/kernel_services/visitors/visitor.cmi
  1036. - Ocamlc src/plugins/aorai/aorai_utils.cmi
  1037. - Ocamlc src/plugins/value_types/function_Froms.cmi
  1038. - Ocamlc src/plugins/value_types/cvalue.cmi
  1039. - Ocamlc src/plugins/pdg_types/pdgTypes.cmi
  1040. - Ocamlc src/kernel_services/ast_queries/filecheck.cmi
  1041. - Ocamlc src/kernel_services/plugin_entry_points/kernel.cmi
  1042. - Ocamlc src/plugins/aorai/aorai_option.cmi
  1043. - Ocamlc src/kernel_services/ast_queries/file.cmi
  1044. - Ocamlc src/plugins/value_types/value_types.cmi
  1045. - Ocamlc src/plugins/pdg_types/pdgMarks.cmi
  1046. - Ocamlopt src/libraries/project/state.cmx
  1047. - Ocamlopt src/kernel_services/plugin_entry_points/journal.cmx
  1048. - Ocamlopt src/kernel_services/cmdline_parameters/typed_parameter.cmx
  1049. - Ocamlopt src/libraries/utils/rangemap.cmx
  1050. - Ocamlc src/kernel_internals/parsing/lexerhack.cmo
  1051. - Ocamlc src/kernel_services/abstract_interp/map_Lattice.cmo
  1052. - Ocamlopt src/kernel_services/abstract_interp/bottom.cmx
  1053. - Ocamlc src/plugins/aorai/aorai_option.cmo
  1054. - Ocamlc src/plugins/aorai/path_analysis.cmo
  1055. - Ocamlc src/plugins/aorai/promelaoutput.cmo
  1056. - Ocamlc src/plugins/aorai/logic_simplification.cmo
  1057. - Ocamlc src/plugins/aorai/data_for_aorai.cmo
  1058. - Ocamlc src/plugins/aorai/aorai_utils.cmo
  1059. - Ocamlc src/plugins/aorai/utils_parser.cmo
  1060. - Ocamlc src/plugins/aorai/yaparser.cmo
  1061. - Ocamlc src/plugins/aorai/promelaparser.cmo
  1062. - Ocamlc src/plugins/aorai/promelalexer.cmo
  1063. - Ocamlc src/plugins/aorai/promelaparser_withexps.cmo
  1064. - Ocamlc src/plugins/aorai/promelalexer_withexps.cmo
  1065. - Ocamlc src/plugins/aorai/aorai_dataflow.cmo
  1066. - Ocamlc src/plugins/aorai/aorai_visitors.cmo
  1067. - Ocamlc src/plugins/slicing_types/slicingInternals.cmo
  1068. - Ocamlopt src/libraries/project/state_dependency_graph.cmx
  1069. - Ocamlopt src/libraries/project/state_topological.cmx
  1070. - Ocamlopt src/kernel_services/plugin_entry_points/dynamic.cmx
  1071. - Ocamlc src/plugins/slicing_types/slicingTypes.cmo
  1072. - Ocamlopt src/libraries/project/state_selection.cmx
  1073. - Ocamlopt src/kernel_services/cmdline_parameters/parameter_category.cmx
  1074. - Ocamlc src/kernel_services/plugin_entry_points/db.cmi
  1075. - Ocamlopt src/libraries/project/project.cmx
  1076. - Ocamlc src/plugins/aorai/aorai_register.cmo
  1077. - Ocamlopt src/libraries/project/state_builder.cmx
  1078. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Aorai.cmi
  1079. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Aorai.cmi
  1080. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Aorai.cmo
  1081. - Ocamlc src/kernel_internals/runtime/frama_c_init.cmi
  1082. - Ocamlc src/libraries/stdlib/FCDynlink.cmo
  1083. - Ocamlc src/libraries/stdlib/FCSet.cmo
  1084. - Ocamlc src/libraries/stdlib/FCMap.cmo
  1085. - Ocamlc src/libraries/stdlib/FCHashtbl.cmo
  1086. - Ocamlc src/libraries/stdlib/extlib.cmo
  1087. - Ocamlc src/libraries/datatype/unmarshal.cmo
  1088. - Ocamlc src/libraries/datatype/unmarshal_nums.cmi
  1089. - Ocamlc src/libraries/datatype/structural_descr.cmo
  1090. - Ocamlc src/libraries/datatype/type.cmo
  1091. - Ocamlc src/libraries/datatype/descr.cmo
  1092. - Ocamlc src/libraries/utils/pretty_utils.cmo
  1093. - Ocamlc src/libraries/utils/hook.cmo
  1094. - Ocamlc src/libraries/utils/bag.cmi
  1095. - Ocamlc src/libraries/utils/wto.cmo
  1096. - Ocamlc src/libraries/utils/vector.cmi
  1097. - Ocamlc src/libraries/utils/indexer.cmi
  1098. - Ocamlc src/libraries/utils/rgmap.cmi
  1099. - Ocamlc src/libraries/utils/bitvector.cmo
  1100. - Ocamlc src/libraries/utils/qstack.cmo
  1101. - Ocamlc src/libraries/stdlib/integer.cmo
  1102. - Ocamlc src/libraries/utils/filepath.cmo
  1103. - Ocamlc src/libraries/utils/json.cmi
  1104. - Ocamlc src/kernel_internals/runtime/config.cmo
  1105. - Ocamlc src/kernel_services/plugin_entry_points/log.cmo
  1106. - Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmo
  1107. - Ocamlc src/libraries/project/project_skeleton.cmo
  1108. - Ocamlc src/libraries/datatype/datatype.cmo
  1109. - Ocamlc src/kernel_services/plugin_entry_points/journal.cmo
  1110. - Ocamlc src/libraries/project/state.cmo
  1111. - Ocamlc src/libraries/project/state_dependency_graph.cmo
  1112. - Ocamlc src/libraries/project/state_topological.cmo
  1113. - Ocamlc src/libraries/project/state_selection.cmo
  1114. - Ocamlc src/libraries/project/project.cmo
  1115. - Ocamlc src/libraries/project/state_builder.cmo
  1116. - Ocamlc src/libraries/utils/utf8_logic.cmo
  1117. - Ocamlc src/libraries/utils/binary_cache.cmo
  1118. - Ocamlc src/libraries/utils/hptmap.cmo
  1119. - Ocamlc src/libraries/utils/hptset.cmo
  1120. - Ocamlc src/libraries/utils/escape.cmo
  1121. - Ocamlc src/kernel_services/ast_queries/cil_datatype.cmo
  1122. - Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmo
  1123. - Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmo
  1124. - Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmo
  1125. - Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmo
  1126. - Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmo
  1127. - Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmo
  1128. - Ocamlc src/kernel_services/plugin_entry_points/plugin.cmo
  1129. - Ocamlc src/kernel_services/plugin_entry_points/kernel.cmo
  1130. - Ocamlc src/libraries/utils/unicode.cmo
  1131. - Ocamlc src/kernel_services/plugin_entry_points/emitter.cmo
  1132. - Ocamlc src/libraries/utils/floating_point.cmo
  1133. - Ocamlc src/libraries/utils/rangemap.cmo
  1134. - Ocamlc src/kernel_services/ast_printing/printer_builder.cmo
  1135. - Ocamlc src/libraries/utils/cilconfig.cmi
  1136. - Ocamlc src/kernel_internals/typing/alpha.cmo
  1137. - Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmo
  1138. - Ocamlc src/kernel_internals/runtime/machdeps.cmo
  1139. - Ocamlc src/kernel_services/ast_queries/cil_const.cmo
  1140. - Ocamlc src/kernel_services/ast_queries/logic_env.cmo
  1141. - Ocamlc src/kernel_services/ast_queries/logic_const.cmo
  1142. - Ocamlc src/kernel_services/ast_queries/cil.cmo
  1143. - Ocamlc src/kernel_internals/parsing/errorloc.cmo
  1144. - Ocamlc src/kernel_services/ast_printing/cil_printer.cmo
  1145. - Ocamlc src/kernel_services/ast_printing/cil_descriptive_printer.cmo
  1146. - Ocamlc src/kernel_services/parsetree/cabshelper.cmo
  1147. - Ocamlc src/kernel_services/ast_printing/logic_print.cmo
  1148. - Ocamlc src/kernel_services/ast_queries/logic_utils.cmo
  1149. - Ocamlc src/kernel_internals/parsing/logic_parser.cmo
  1150. - Ocamlc src/kernel_internals/parsing/logic_lexer.cmo
  1151. - Ocamlc src/kernel_services/ast_queries/logic_typing.cmo
  1152. - Ocamlc src/kernel_services/ast_queries/ast_info.cmo
  1153. - Ocamlc src/kernel_services/ast_data/ast.cmo
  1154. - Ocamlc src/kernel_services/ast_data/globals.cmo
  1155. - Ocamlc src/kernel_internals/typing/cfg.cmo
  1156. - Ocamlc src/kernel_services/ast_data/kernel_function.cmo
  1157. - Ocamlc src/kernel_services/ast_data/property.cmo
  1158. - Ocamlc src/kernel_services/ast_data/property_status.cmo
  1159. - Ocamlc src/kernel_services/ast_data/annotations.cmo
  1160. - Ocamlc src/kernel_services/ast_printing/printer.cmo
  1161. - Ocamlc src/kernel_internals/typing/logic_builtin.cmo
  1162. - Ocamlc src/kernel_services/ast_printing/cabs_debug.cmi
  1163. - Ocamlc src/kernel_services/ast_printing/cprint.cmo
  1164. - Ocamlc src/kernel_internals/parsing/clexer.cmo
  1165. - Ocamlc src/kernel_services/visitors/cabsvisit.cmo
  1166. - Ocamlc src/kernel_internals/parsing/cparser.cmo
  1167. - Ocamlc src/kernel_internals/parsing/logic_preprocess.cmo
  1168. - Ocamlc src/kernel_internals/typing/mergecil.cmo
  1169. - Ocamlc src/kernel_internals/typing/rmtmps.cmo
  1170. - Ocamlc src/kernel_internals/typing/cabs2cil.cmo
  1171. - Ocamlc src/kernel_internals/typing/oneret.cmo
  1172. - Ocamlc src/kernel_internals/typing/frontc.cmo
  1173. - Ocamlc src/kernel_services/ast_data/statuses_by_call.cmi
  1174. - Ocamlc src/kernel_services/analysis/dataflow.cmi
  1175. - Ocamlc src/kernel_services/analysis/ordered_stmt.cmo
  1176. - Ocamlc src/kernel_services/analysis/wto_statement.cmo
  1177. - Ocamlc src/kernel_services/analysis/dataflows.cmi
  1178. - Ocamlc src/kernel_services/analysis/dataflow2.cmo
  1179. - Ocamlc src/kernel_services/analysis/stmts_graph.cmi
  1180. - Ocamlc src/kernel_services/analysis/dominators.cmi
  1181. - Ocamlc src/kernel_services/analysis/service_graph.cmi
  1182. - Ocamlc src/kernel_services/ast_printing/description.cmi
  1183. - Ocamlc src/kernel_services/ast_data/alarms.cmo
  1184. - Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmo
  1185. - Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmo
  1186. - Ocamlc src/kernel_services/abstract_interp/bottom.cmo
  1187. - Ocamlc src/kernel_services/abstract_interp/int_Base.cmo
  1188. - Ocamlc src/kernel_services/analysis/bit_utils.cmo
  1189. - Ocamlc src/kernel_services/abstract_interp/fval.cmo
  1190. - Ocamlc src/kernel_services/abstract_interp/ival.cmo
  1191. - Ocamlc src/kernel_services/abstract_interp/base.cmo
  1192. - Ocamlc src/kernel_services/abstract_interp/origin.cmo
  1193. - Ocamlc src/kernel_services/abstract_interp/trace.cmi
  1194. - Ocamlc src/kernel_services/abstract_interp/tr_offset.cmo
  1195. - Ocamlc src/kernel_services/abstract_interp/offsetmap.cmo
  1196. - Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmo
  1197. - Ocamlc src/kernel_services/abstract_interp/locations.cmo
  1198. - Ocamlc src/kernel_services/abstract_interp/lmap.cmo
  1199. - Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmo
  1200. - Ocamlc src/kernel_services/visitors/visitor.cmo
  1201. - Ocamlc src/plugins/value_types/cilE.cmo
  1202. - Ocamlc src/plugins/value_types/cvalue.cmo
  1203. - Ocamlc src/plugins/value_types/precise_locs.cmo
  1204. - Ocamlc src/plugins/value_types/value_types.cmo
  1205. - Ocamlc src/plugins/value_types/widen_type.cmi
  1206. - Ocamlc src/plugins/value_types/function_Froms.cmo
  1207. - Ocamlc src/plugins/value_types/inout_type.cmo
  1208. - Ocamlc src/plugins/pdg_types/pdgIndex.cmo
  1209. - Ocamlc src/plugins/pdg_types/pdgTypes.cmo
  1210. - Ocamlc src/plugins/pdg_types/pdgMarks.cmo
  1211. - Ocamlc src/kernel_services/plugin_entry_points/db.cmo
  1212. - Ocamlc src/libraries/utils/command.cmi
  1213. - Ocamlc src/libraries/utils/task.cmi
  1214. - Ocamlc src/kernel_services/ast_queries/filecheck.cmo
  1215. - Ocamlc src/kernel_services/ast_queries/file.cmo
  1216. - Ocamlc src/kernel_internals/typing/translate_lightweight.cmi
  1217. - Ocamlc src/kernel_internals/typing/allocates.cmi
  1218. - Ocamlc src/kernel_internals/typing/unroll_loops.cmi
  1219. - Ocamlc src/kernel_internals/typing/asm_contracts.cmi
  1220. - Ocamlc src/kernel_services/analysis/loop.cmi
  1221. - Ocamlc src/kernel_services/analysis/exn_flow.cmi
  1222. - Ocamlc src/kernel_services/analysis/logic_interp.cmi
  1223. - Ocamlc src/kernel_internals/typing/infer_annotations.cmi
  1224. - Ocamlc src/kernel_services/ast_transformations/clone.cmi
  1225. - Ocamlc src/kernel_services/ast_transformations/filter.cmi
  1226. - Ocamlc src/kernel_internals/runtime/special_hooks.cmi
  1227. - Ocamlc src/kernel_internals/runtime/messages.cmi
  1228. - Ocamlc src/plugins/rte/options.cmi
  1229. - Ocamlc src/plugins/rte/generator.cmi
  1230. - Ocamlc src/plugins/rte/rte.cmi
  1231. - Ocamlc src/plugins/rte/visit.cmi
  1232. - Ocamlc src/plugins/postdominators/postdominators_parameters.cmi
  1233. - Ocamlc src/kernel_internals/runtime/boot.cmo
  1234. - CC src/libraries/utils/c_bindings.o
  1235. - Ocamlc src/plugins/metrics/metrics_parameters.cmi
  1236. - Ocamlc src/plugins/metrics/css_html.cmo
  1237. - Ocamlc src/plugins/metrics/metrics_base.cmi
  1238. - Ocamlc src/plugins/metrics/metrics_acsl.cmi
  1239. - Ocamlc src/plugins/metrics/metrics_cabs.cmi
  1240. - Ocamlc src/plugins/callgraph/options.cmi
  1241. - Ocamlc src/plugins/metrics/metrics_coverage.cmi
  1242. - Ocamlc src/plugins/callgraph/journalize.cmi
  1243. - Ocamlc src/plugins/callgraph/callgraph_api.cmi
  1244. - Ocamlc src/plugins/callgraph/uses.cmi
  1245. - Ocamlc src/plugins/value/slevel/split_strategy.cmi
  1246. - Ocamlc src/plugins/value/slevel/stop_at_nth.cmi
  1247. - Ocamlc src/plugins/value/utils/value_perf.cmi
  1248. - Ocamlc src/plugins/value/legacy/state_set.cmi
  1249. - Ocamlc src/plugins/value/utils/library_functions.cmi
  1250. - Ocamlc src/plugins/value/slevel/separate.cmi
  1251. - Ocamlc src/plugins/value/legacy/state_imp.cmi
  1252. - Ocamlc src/plugins/value/utils/value_results.cmi
  1253. - Ocamlc src/plugins/value/utils/widen.cmi
  1254. - Ocamlc src/plugins/value/legacy/valarms.cmi
  1255. - Ocamlc src/plugins/value/legacy/warn.cmi
  1256. - Ocamlc src/plugins/value/alarmset.cmi
  1257. - Ocamlc src/plugins/value/utils/mem_lvalue.cmi
  1258. - Ocamlc src/plugins/value/legacy/eval_op.cmi
  1259. - Ocamlc src/plugins/value/legacy/eval_terms.cmi
  1260. - Ocamlc src/plugins/value/domains/cvalue/locals_scoping.cmi
  1261. - Ocamlc src/plugins/value/utils/state_import.cmi
  1262. - Ocamlc src/plugins/value/legacy/eval_behaviors.cmi
  1263. - Ocamlc src/plugins/value/legacy/mem_exec.cmi
  1264. - Ocamlc src/plugins/value/legacy/eval_exprs.cmi
  1265. - Ocamlc src/plugins/value/legacy/eval_non_linear.cmi
  1266. - Ocamlc src/plugins/value/legacy/initial_state.cmi
  1267. - Ocamlc src/plugins/value/domains/cvalue/builtins.cmi
  1268. - Ocamlc src/plugins/value/legacy/split_return.cmi
  1269. - Ocamlc src/plugins/value/legacy/eval_stmt.cmi
  1270. - Ocamlc src/plugins/value/slevel/per_stmt_slevel.cmi
  1271. - Ocamlc src/plugins/value/utils/structure.cmi
  1272. - Ocamlc src/plugins/value/legacy/eval_funs.cmi
  1273. - Ocamlc src/plugins/value/values/cvalue_backward.cmi
  1274. - Ocamlc src/plugins/value/domains/equality/equality_term.cmi
  1275. - Ocamlc src/plugins/value/domains/equality/equality_sig.cmi
  1276. - Ocamlc src/plugins/value/domains/cvalue/cvalue_init.cmi
  1277. - Ocamlc src/plugins/value/domains/cvalue/builtins_float.cmi
  1278. - Ocamlc src/plugins/value/engine/compute_functions.cmi
  1279. - Ocamlc src/plugins/value/register.cmi
  1280. - Ocamlc src/plugins/occurrence/options.cmi
  1281. - Ocamlc src/plugins/from/from_parameters.cmi
  1282. - Ocamlc src/plugins/from/from_compute.cmi
  1283. - Ocamlc src/plugins/from/functionwise.cmi
  1284. - Ocamlc src/plugins/from/callwise.cmi
  1285. - Ocamlc src/plugins/constant_propagation/propagationParameters.cmi
  1286. - Ocamlc src/plugins/from/from_register.cmi
  1287. - Ocamlc src/plugins/constant_propagation/register.cmi
  1288. - Ocamlc src/plugins/inout/inout_parameters.cmi
  1289. - Ocamlc src/plugins/inout/cumulative_analysis.cmi
  1290. - Ocamlc src/plugins/inout/outputs.cmi
  1291. - Ocamlc src/plugins/inout/inputs.cmi
  1292. - Ocamlc src/plugins/inout/derefs.cmi
  1293. - Ocamlc src/plugins/impact/options.cmi
  1294. - Ocamlc src/plugins/impact/pdg_aux.cmi
  1295. - Ocamlc src/plugins/pdg/pdg_parameters.cmi
  1296. - Ocamlc src/plugins/pdg/ctrlDpds.cmi
  1297. - Ocamlc src/plugins/pdg/pdg_state.cmi
  1298. - Ocamlc src/plugins/pdg/build.cmi
  1299. - Ocamlc src/plugins/pdg/sets.cmi
  1300. - Ocamlc src/plugins/pdg/annot.cmi
  1301. - Ocamlc src/plugins/pdg/marks.cmi
  1302. - Ocamlc src/plugins/scope/datascope.cmo
  1303. - Ocamlc src/plugins/scope/defs.cmi
  1304. - Ocamlc src/plugins/sparecode/sparecode_params.cmi
  1305. - Ocamlc src/plugins/scope/zones.cmi
  1306. - Ocamlc src/plugins/sparecode/spare_marks.cmi
  1307. - Ocamlc src/plugins/slicing/slicingParameters.cmi
  1308. - Ocamlc src/plugins/slicing/slicingMacros.cmi
  1309. - Ocamlc src/plugins/slicing/slicingMarks.cmi
  1310. - Ocamlc src/plugins/slicing/slicingActions.cmi
  1311. - Ocamlc src/plugins/slicing/fct_slice.cmi
  1312. - Ocamlc src/plugins/slicing/printSlice.cmi
  1313. - Ocamlc src/plugins/slicing/slicingProject.cmi
  1314. - Ocamlc src/plugins/slicing/slicingTransform.cmi
  1315. - Ocamlc src/plugins/slicing/slicingCmds.cmi
  1316. - Ocamlc src/plugins/slicing/register.cmi
  1317. - Ocamlc src/plugins/loop_analysis/options.cmi
  1318. - Ocamlc src/plugins/loop_analysis/region_analysis_sig.cmo
  1319. - Ocamlc src/plugins/nonterm/nonterm_run.cmo
  1320. - Ocamlc src/plugins/obfuscator/options.cmi
  1321. - Ocamlc src/plugins/obfuscator/obfuscator_kind.cmi
  1322. - Ocamlc src/plugins/obfuscator/obfuscate.cmi
  1323. - Ocamlc src/plugins/print_api/grammar.cmi
  1324. - Ocamlc src/plugins/report/report_parameters.cmi
  1325. - Ocamlc src/plugins/report/scan.cmi
  1326. - Ocamlc src/plugins/report/csv.cmi
  1327. - Ocamlc src/plugins/report/register.cmi
  1328. - Ocamlc src/plugins/variadic/options.cmi
  1329. - Ocamlc src/plugins/variadic/extends.cmi
  1330. - Ocamlc src/plugins/variadic/va_build.cmo
  1331. - Ocamlc src/plugins/variadic/environment.cmo
  1332. - Ocamlc src/plugins/variadic/format_types.cmi
  1333. - Compiling Qed (byte.opt)
  1334. - Ocamlc src/plugins/wp/wprop.cmi
  1335. - Ocamlc src/plugins/wp/rformat.cmi
  1336. - Ocamlc src/plugins/wp/wp_parameters.cmi
  1337. - Ocamlc src/plugins/wp/wp_error.cmi
  1338. - Ocamlc src/plugins/wp/dyncall.cmi
  1339. - Ocamlc src/plugins/wp/clabels.cmi
  1340. - Ocamlc src/plugins/wp/Separation.cmi
  1341. - Ocamlc src/plugins/wp/VarUsageRef.cmi
  1342. - Ocamlc src/plugins/wp/VarUsage.cmi
  1343. - Ocamlc src/plugins/wp/variables_analysis.cmi
  1344. - Ocamlc src/plugins/wp/cil2cfg.cmi
  1345. - Ocamlc src/plugins/wp/normAtLabels.cmi
  1346. - Ocamlc src/plugins/wp/Context.cmi
  1347. - Ocamlc src/plugins/wp/Warning.cmi
  1348. - Ocamlc src/plugins/wp/Model.cmi
  1349. - Ocamlc src/plugins/wp/VCS.cmi
  1350. - Ocamlc src/plugins/wp/script.cmi
  1351. - Ocamlc src/plugins/wp/wpReport.cmi
  1352. - Ocamlc src/plugins/wp/why3_xml.cmi
  1353. - Ocamlc src/plugins/wp/ProverTask.cmi
  1354. - Ocamlopt src/libraries/utils/hptmap.cmx
  1355. - Ocamlc src/kernel_internals/runtime/frama_c_init.cmo
  1356. - Ocamlc src/libraries/datatype/unmarshal_nums.cmo
  1357. - Ocamlc src/libraries/utils/bag.cmo
  1358. - Ocamlc src/libraries/utils/vector.cmo
  1359. - Ocamlc src/libraries/utils/indexer.cmo
  1360. - Ocamlc src/libraries/utils/rgmap.cmo
  1361. - Ocamlc src/libraries/utils/json.cmo
  1362. - Ocamlc src/libraries/utils/cilconfig.cmo
  1363. - Ocamlc src/kernel_services/ast_printing/cabs_debug.cmo
  1364. - Ocamlc src/kernel_services/ast_data/statuses_by_call.cmo
  1365. - Ocamlc src/kernel_services/analysis/dataflow.cmo
  1366. - Ocamlc src/kernel_services/analysis/dataflows.cmo
  1367. - Ocamlc src/kernel_services/analysis/stmts_graph.cmo
  1368. - Ocamlc src/kernel_services/analysis/dominators.cmo
  1369. - Ocamlc src/kernel_services/analysis/service_graph.cmo
  1370. - Ocamlc src/kernel_services/ast_printing/description.cmo
  1371. - Ocamlc src/kernel_services/abstract_interp/trace.cmo
  1372. - Ocamlc src/plugins/value_types/widen_type.cmo
  1373. - Ocamlc src/libraries/utils/command.cmo
  1374. - Ocamlc src/libraries/utils/task.cmo
  1375. - Ocamlc src/kernel_internals/typing/translate_lightweight.cmo
  1376. - Ocamlc src/kernel_internals/typing/allocates.cmo
  1377. - Ocamlc src/kernel_internals/typing/unroll_loops.cmo
  1378. - Ocamlc src/kernel_internals/typing/asm_contracts.cmo
  1379. - Ocamlc src/kernel_services/analysis/loop.cmo
  1380. - Ocamlc src/kernel_services/analysis/exn_flow.cmo
  1381. - Ocamlc src/kernel_services/analysis/logic_interp.cmo
  1382. - Ocamlc src/kernel_internals/typing/infer_annotations.cmo
  1383. - Ocamlc src/kernel_services/ast_transformations/clone.cmo
  1384. - Ocamlc src/kernel_services/ast_transformations/filter.cmo
  1385. - Ocamlc src/kernel_internals/runtime/special_hooks.cmo
  1386. - Ocamlc src/kernel_internals/runtime/messages.cmo
  1387. - Ocamlc src/plugins/rte/options.cmo
  1388. - Ocamlc src/plugins/rte/generator.cmo
  1389. - Ocamlc src/plugins/rte/rte.cmo
  1390. - Ocamlc src/plugins/rte/visit.cmo
  1391. - Ocamlc src/plugins/rte/register.cmo
  1392. - Ocamlc src/plugins/postdominators/postdominators_parameters.cmo
  1393. - Ocamlc src/plugins/postdominators/print.cmo
  1394. - Ocamlc src/plugins/metrics/metrics_parameters.cmo
  1395. - Ocamlc src/plugins/metrics/metrics_base.cmo
  1396. - Ocamlc src/plugins/metrics/metrics_acsl.cmo
  1397. - Ocamlc src/plugins/metrics/metrics_cabs.cmo
  1398. - Ocamlc src/plugins/metrics/metrics_cilast.cmi
  1399. - Ocamlc src/plugins/metrics/metrics_coverage.cmo
  1400. - Ocamlc src/plugins/callgraph/options.cmo
  1401. - Ocamlc src/plugins/callgraph/journalize.cmo
  1402. - Ocamlc src/plugins/callgraph/cg.cmi
  1403. - Ocamlc src/plugins/callgraph/services.cmi
  1404. - Ocamlc src/plugins/value/slevel/split_strategy.cmo
  1405. - Ocamlc src/plugins/value/value_parameters.cmi
  1406. - Ocamlc src/plugins/value/legacy/state_set.cmo
  1407. - Ocamlc src/plugins/value/legacy/state_imp.cmo
  1408. - Ocamlc src/plugins/value/utils/widen.cmo
  1409. - Ocamlc src/plugins/value/eval.cmi
  1410. - Ocamlc src/plugins/value/domains/cvalue/locals_scoping.cmo
  1411. - Ocamlc src/plugins/value/eval.cmo
  1412. - Ocamlc src/plugins/value/utils/structure.cmo
  1413. - Ocamlc src/plugins/value/values/abstract_value.cmi
  1414. - Ocamlc src/plugins/value/values/abstract_location.cmi
  1415. - Ocamlc src/plugins/value/values/cvalue_forward.cmi
  1416. - Ocamlc src/plugins/value/values/main_values.cmi
  1417. - Ocamlc src/plugins/value/values/offsm_value.cmi
  1418. - Ocamlc src/plugins/value/domains/abstract_domain.cmi
  1419. - Ocamlc src/plugins/value/domains/equality/equality_term.cmo
  1420. - Ocamlc src/plugins/value/domains/equality/equality.cmi
  1421. - Ocamlc src/plugins/value/engine/mem_exec2.cmi
  1422. - Ocamlc src/plugins/occurrence/options.cmo
  1423. - Ocamlc src/plugins/occurrence/register.cmo
  1424. - Ocamlc src/plugins/from/from_parameters.cmo
  1425. - Ocamlc src/plugins/from/from_compute.cmo
  1426. - Ocamlc src/plugins/from/callwise.cmo
  1427. - Ocamlc src/plugins/from/path_dependencies.cmo
  1428. - Ocamlc src/plugins/from/mem_dependencies.cmo
  1429. - Ocamlc src/plugins/constant_propagation/propagationParameters.cmo
  1430. - Ocamlc src/plugins/constant_propagation/register.cmo
  1431. - Ocamlc src/plugins/inout/inout_parameters.cmo
  1432. - Ocamlc src/plugins/inout/cumulative_analysis.cmo
  1433. - Ocamlc src/plugins/inout/derefs.cmo
  1434. - Ocamlc src/plugins/impact/options.cmo
  1435. - Ocamlc src/plugins/impact/pdg_aux.cmo
  1436. - Ocamlc src/plugins/impact/reason_graph.cmo
  1437. - Ocamlc src/plugins/pdg/pdg_parameters.cmo
  1438. - Ocamlc src/plugins/pdg/ctrlDpds.cmo
  1439. - Ocamlc src/plugins/pdg/pdg_state.cmo
  1440. - Ocamlc src/plugins/pdg/build.cmo
  1441. - Ocamlc src/plugins/pdg/sets.cmo
  1442. - Ocamlc src/plugins/pdg/annot.cmo
  1443. - Ocamlc src/plugins/pdg/marks.cmo
  1444. - Ocamlc src/plugins/scope/zones.cmo
  1445. - Ocamlc src/plugins/scope/defs.cmo
  1446. - Ocamlc src/plugins/sparecode/sparecode_params.cmo
  1447. - Ocamlc src/plugins/sparecode/globs.cmo
  1448. - Ocamlc src/plugins/sparecode/transform.cmo
  1449. - Ocamlc src/plugins/slicing/slicingParameters.cmo
  1450. - Ocamlc src/plugins/slicing/slicingMacros.cmo
  1451. - Ocamlc src/plugins/slicing/slicingMarks.cmo
  1452. - Ocamlc src/plugins/slicing/slicingActions.cmo
  1453. - Ocamlc src/plugins/slicing/printSlice.cmo
  1454. - Ocamlc src/plugins/slicing/slicingProject.cmo
  1455. - Ocamlc src/plugins/slicing/slicingTransform.cmo
  1456. - Ocamlc src/plugins/slicing/register.cmo
  1457. - Ocamlc src/plugins/loop_analysis/options.cmo
  1458. - Ocamlc src/plugins/loop_analysis/region_analysis.cmi
  1459. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Nonterm.cmi
  1460. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Nonterm.cmi
  1461. - Ocamlc src/plugins/obfuscator/options.cmo
  1462. - Ocamlc src/plugins/obfuscator/obfuscator_kind.cmo
  1463. - Ocamlc src/plugins/obfuscator/dictionary.cmi
  1464. - Ocamlc src/plugins/print_api/grammar.cmo
  1465. - Ocamlc src/plugins/print_api/lexer.cmo
  1466. - Ocamlc src/plugins/report/report_parameters.cmo
  1467. - Ocamlc src/plugins/report/scan.cmo
  1468. - Ocamlc src/plugins/report/dump.cmi
  1469. - Ocamlc src/plugins/report/csv.cmo
  1470. - Ocamlc src/plugins/report/register.cmo
  1471. - Ocamlc src/plugins/variadic/options.cmo
  1472. - Ocamlc src/plugins/variadic/extends.cmo
  1473. - Ocamlc src/plugins/variadic/format_pprint.cmi
  1474. - Ocamlc src/plugins/variadic/format_typer.cmi
  1475. - Ocamlc src/plugins/variadic/format_parser.cmi
  1476. - Ocamlc src/plugins/variadic/generic.cmo
  1477. - Ocamlc src/plugins/variadic/va_types.cmi
  1478. - Ocamlc src/plugins/wp/rformat.cmo
  1479. - Ocamlc src/plugins/wp/wprop.cmo
  1480. - Ocamlc src/plugins/wp/wp_parameters.cmo
  1481. - Ocamlc src/plugins/wp/wp_error.cmo
  1482. - Ocamlc src/plugins/wp/dyncall.cmo
  1483. - Ocamlc src/plugins/wp/ctypes.cmi
  1484. - Ocamlc src/plugins/wp/Separation.cmo
  1485. - Ocamlc src/plugins/wp/LogicUsage.cmi
  1486. - Ocamlc src/plugins/wp/VarUsageRef.cmo
  1487. - Ocamlc src/plugins/wp/VarUsage.cmo
  1488. - Ocamlc src/plugins/wp/RefUsage.cmi
  1489. - Ocamlc src/plugins/wp/variables_analysis.cmo
  1490. - Ocamlc src/plugins/wp/cil2cfg.cmo
  1491. - Ocamlc src/plugins/wp/normAtLabels.cmo
  1492. - Ocamlc src/plugins/wp/wpPropId.cmi
  1493. - Ocamlc src/plugins/wp/Context.cmo
  1494. - Ocamlc src/plugins/wp/Warning.cmo
  1495. - Ocamlc src/plugins/wp/Model.cmo
  1496. - Ocamlc src/plugins/wp/Lang.cmi
  1497. - Ocamlc src/plugins/wp/Splitter.cmi
  1498. - Ocamlc src/plugins/wp/VCS.cmo
  1499. - Ocamlc src/plugins/wp/script.cmo
  1500. - Ocamlc src/plugins/wp/proof.cmi
  1501. - Ocamlc src/plugins/wp/why3_xml.cmo
  1502. - Ocamlc src/plugins/wp/ProverTask.cmo
  1503. - Ocamlc src/plugins/wp/VC.cmi
  1504. - Ocamlopt src/libraries/utils/hptset.cmx
  1505. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/RteGen.cmi
  1506. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/RteGen.cmi
  1507. - Ocamlc src/plugins/postdominators/compute.cmo
  1508. - Ocamlc src/plugins/metrics/metrics_cilast.cmo
  1509. - Ocamlc src/plugins/metrics/register.cmo
  1510. - Ocamlc src/plugins/callgraph/cg.cmo
  1511. - Ocamlc src/plugins/callgraph/services.cmo
  1512. - Ocamlc src/plugins/callgraph/uses.cmo
  1513. - Ocamlc src/plugins/callgraph/register.cmo
  1514. - Ocamlc src/plugins/value/value_parameters.cmo
  1515. - Ocamlc src/plugins/value/slevel/stop_at_nth.cmo
  1516. - Ocamlc src/plugins/value/utils/value_perf.cmo
  1517. - Ocamlc src/plugins/value/utils/value_util.cmi
  1518. - Ocamlc src/plugins/value/utils/mark_noresults.cmo
  1519. - Ocamlc src/plugins/value/slevel/separate.cmo
  1520. - Ocamlc src/plugins/value/utils/eval_typ.cmi
  1521. - Ocamlc src/plugins/value/utils/mem_lvalue.cmo
  1522. - Ocamlc src/plugins/value/utils/state_import.cmo
  1523. - Ocamlc src/plugins/value/legacy/mem_exec.cmo
  1524. - Ocamlc src/plugins/value/legacy/eval_exprs.cmo
  1525. - Ocamlc src/plugins/value/legacy/eval_non_linear.cmo
  1526. - Ocamlc src/plugins/value/legacy/initial_state.cmo
  1527. - Ocamlc src/plugins/value/domains/cvalue/builtins.cmo
  1528. - Ocamlc src/plugins/value/legacy/function_args.cmo
  1529. - Ocamlc src/plugins/value/legacy/split_return.cmo
  1530. - Ocamlc src/plugins/value/slevel/per_stmt_slevel.cmo
  1531. - Ocamlc src/plugins/value/values/value_product.cmi
  1532. - Ocamlc src/plugins/value/values/location_lift.cmi
  1533. - Ocamlc src/plugins/value/values/cvalue_forward.cmo
  1534. - Ocamlc src/plugins/value/values/cvalue_backward.cmo
  1535. - Ocamlc src/plugins/value/values/main_values.cmo
  1536. - Ocamlc src/plugins/value/values/main_locations.cmi
  1537. - Ocamlc src/plugins/value/values/offsm_value.cmo
  1538. - Ocamlc src/plugins/value/domains/domain_product.cmi
  1539. - Ocamlc src/plugins/value/domains/domain_lift.cmi
  1540. - Ocamlc src/plugins/value/domains/unit_domain.cmi
  1541. - Ocamlc src/plugins/value/domains/apron/apron_domain.cmi
  1542. - Ocamlc src/plugins/value/domains/equality/equality.cmo
  1543. - Ocamlc src/plugins/value/domains/equality/equality_domain.cmi
  1544. - Ocamlc src/plugins/value/domains/offsm_domain.cmi
  1545. - Ocamlc src/plugins/value/domains/cvalue/cvalue_transfer.cmi
  1546. - Ocamlc src/plugins/value/domains/cvalue/cvalue_init.cmo
  1547. - Ocamlc src/plugins/value/domains/cvalue/cvalue_domain.cmi
  1548. - Ocamlc src/plugins/value/domains/cvalue/builtins_float.cmo
  1549. - Ocamlc src/plugins/value/engine/evaluation.cmi
  1550. - Ocamlc src/plugins/value/engine/partitioning.cmi
  1551. - Ocamlc src/plugins/value/engine/mem_exec2.cmo
  1552. - Ocamlc src/plugins/value/engine/initialization.cmi
  1553. - Ocamlc src/plugins/value/engine/abstractions.cmi
  1554. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Occurrence.cmi
  1555. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Occurrence.cmi
  1556. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Constant_Propagation.cmi
  1557. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Constant_Propagation.cmi
  1558. - Ocamlc src/plugins/impact/compute_impact.cmi
  1559. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Scope.cmi
  1560. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Scope.cmi
  1561. - Ocamlc src/plugins/sparecode/register.cmo
  1562. - Ocamlc src/plugins/loop_analysis/region_analysis.cmo
  1563. - Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmi
  1564. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Nonterm.cmo
  1565. - Ocamlc src/plugins/obfuscator/dictionary.cmo
  1566. - Ocamlc src/plugins/obfuscator/obfuscator_register.cmo
  1567. - Ocamlc src/plugins/obfuscator/obfuscate.cmo
  1568. - Ocamlc src/plugins/print_api/print_interface.cmo
  1569. - Ocamlc src/plugins/report/dump.cmo
  1570. - Ocamlc src/plugins/variadic/format_pprint.cmo
  1571. - Ocamlc src/plugins/variadic/format_typer.cmo
  1572. - Ocamlc src/plugins/variadic/format_parser.cmo
  1573. - Ocamlc src/plugins/variadic/standard.cmo
  1574. - Ocamlc src/plugins/variadic/classify.cmo
  1575. - Ocamlc src/plugins/wp/ctypes.cmo
  1576. - Ocamlc src/plugins/wp/clabels.cmo
  1577. - Ocamlc src/plugins/wp/LogicUsage.cmo
  1578. - Ocamlc src/plugins/wp/RefUsage.cmo
  1579. - Ocamlc src/plugins/wp/wpPropId.cmo
  1580. - Ocamlc src/plugins/wp/wpStrategy.cmi
  1581. - Ocamlc src/plugins/wp/mcfg.cmo
  1582. - Ocamlc src/plugins/wp/Lang.cmo
  1583. - Ocamlc src/plugins/wp/Plang.cmi
  1584. - Ocamlc src/plugins/wp/Matrix.cmi
  1585. - Ocamlc src/plugins/wp/Passive.cmi
  1586. - Ocamlc src/plugins/wp/Splitter.cmo
  1587. - Ocamlc src/plugins/wp/Letify.cmi
  1588. - Ocamlc src/plugins/wp/Cleaning.cmi
  1589. - Ocamlc src/plugins/wp/Conditions.cmi
  1590. - Ocamlc src/plugins/wp/LogicBuiltins.cmi
  1591. - Ocamlc src/plugins/wp/Definitions.cmi
  1592. - Ocamlc src/plugins/wp/Cint.cmi
  1593. - Ocamlc src/plugins/wp/Cfloat.cmi
  1594. - Ocamlc src/plugins/wp/Vset.cmi
  1595. - Ocamlc src/plugins/wp/Vlist.cmi
  1596. - Ocamlc src/plugins/wp/Cstring.cmi
  1597. - Ocamlc src/plugins/wp/proof.cmo
  1598. - Ocamlc src/plugins/wp/wpo.cmi
  1599. - Ocamlc src/plugins/wp/driver.cmi
  1600. - Ocamlc src/plugins/wp/calculus.cmi
  1601. - Ocamlopt src/kernel_services/ast_queries/cil_datatype.cmx
  1602. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/RteGen.cmo
  1603. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Postdominators.cmi
  1604. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Postdominators.cmi
  1605. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Metrics.cmi
  1606. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Metrics.cmi
  1607. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Callgraph.cmi
  1608. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Callgraph.cmi
  1609. - Ocamlc src/plugins/value/utils/value_util.cmo
  1610. - Ocamlc src/plugins/value/legacy/value_messages.cmo
  1611. - Ocamlc src/plugins/value/utils/library_functions.cmo
  1612. - Ocamlc src/plugins/value/utils/value_results.cmo
  1613. - Ocamlc src/plugins/value/legacy/valarms.cmo
  1614. - Ocamlc src/plugins/value/legacy/warn.cmo
  1615. - Ocamlc src/plugins/value/utils/eval_typ.cmo
  1616. - Ocamlc src/plugins/value/legacy/eval_op.cmo
  1617. - Ocamlc src/plugins/value/legacy/eval_terms.cmo
  1618. - Ocamlc src/plugins/value/legacy/eval_annots.cmo
  1619. - Ocamlc src/plugins/value/legacy/eval_stmt.cmo
  1620. - Ocamlc src/plugins/value/alarmset.cmo
  1621. - Ocamlc src/plugins/value/values/value_product.cmo
  1622. - Ocamlc src/plugins/value/values/location_lift.cmo
  1623. - Ocamlc src/plugins/value/values/main_locations.cmo
  1624. - Ocamlc src/plugins/value/domains/domain_product.cmo
  1625. - Ocamlc src/plugins/value/domains/domain_lift.cmo
  1626. - Ocamlc src/plugins/value/domains/unit_domain.cmo
  1627. - Ocamlc src/plugins/value/domains/apron/apron_domain.cmo
  1628. - Ocamlc src/plugins/value/domains/equality/equality_domain.cmo
  1629. - Ocamlc src/plugins/value/domains/offsm_domain.cmo
  1630. - Ocamlc src/plugins/value/domains/cvalue/cvalue_transfer.cmo
  1631. - Ocamlc src/plugins/value/domains/cvalue/cvalue_domain.cmo
  1632. - Ocamlc src/plugins/value/engine/evaluation.cmo
  1633. - Ocamlc src/plugins/value/engine/non_linear_evaluation.cmi
  1634. - Ocamlc src/plugins/value/engine/transfer_logic.cmi
  1635. - Ocamlc src/plugins/value/engine/transfer_stmt.cmi
  1636. - Ocamlc src/plugins/value/engine/partitioning.cmo
  1637. - Ocamlc src/plugins/value/engine/initialization.cmo
  1638. - Ocamlc src/plugins/value/engine/abstractions.cmo
  1639. - Ocamlc src/plugins/value/register.cmo
  1640. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Occurrence.cmo
  1641. - Ocamlc src/plugins/from/functionwise.cmo
  1642. - Ocamlc src/plugins/from/from_register.cmo
  1643. - Ocamlc src/plugins/users/users_register.cmo
  1644. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Constant_Propagation.cmo
  1645. - Ocamlc src/plugins/inout/operational_inputs.cmo
  1646. - Ocamlc src/plugins/inout/inputs.cmo
  1647. - Ocamlc src/plugins/impact/compute_impact.cmo
  1648. - Ocamlc src/plugins/impact/register.cmo
  1649. - Ocamlc src/plugins/pdg/register.cmo
  1650. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Scope.cmo
  1651. - Ocamlc src/plugins/slicing/slicingCmds.cmo
  1652. - Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmo
  1653. - Ocamlc src/plugins/loop_analysis/loop_analysis.cmo
  1654. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Obfuscator.cmi
  1655. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Obfuscator.cmi
  1656. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Print_api.cmi
  1657. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Print_api.cmi
  1658. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Report.cmi
  1659. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Report.cmi
  1660. - Ocamlc src/plugins/variadic/translate.cmo
  1661. - Ocamlc src/plugins/wp/wpStrategy.cmo
  1662. - Ocamlc src/plugins/wp/wpAnnot.cmi
  1663. - Ocamlc src/plugins/wp/Plang.cmo
  1664. - Ocamlc src/plugins/wp/Matrix.cmo
  1665. - Ocamlc src/plugins/wp/Passive.cmo
  1666. - Ocamlc src/plugins/wp/Letify.cmo
  1667. - Ocamlc src/plugins/wp/Cleaning.cmo
  1668. - Ocamlc src/plugins/wp/Conditions.cmo
  1669. - Ocamlc src/plugins/wp/Pcond.cmi
  1670. - Ocamlc src/plugins/wp/LogicBuiltins.cmo
  1671. - Ocamlc src/plugins/wp/Definitions.cmo
  1672. - Ocamlc src/plugins/wp/Cint.cmo
  1673. - Ocamlc src/plugins/wp/Cfloat.cmo
  1674. - Ocamlc src/plugins/wp/Vset.cmo
  1675. - Ocamlc src/plugins/wp/Vlist.cmo
  1676. - Ocamlc src/plugins/wp/Region.cmi
  1677. - Ocamlc src/plugins/wp/Cstring.cmo
  1678. - Ocamlc src/plugins/wp/Memory.cmo
  1679. - Ocamlc src/plugins/wp/wpo.cmo
  1680. - Ocamlc src/plugins/wp/wpReport.cmo
  1681. - Ocamlc src/plugins/wp/ProverErgo.cmi
  1682. - Ocamlc src/plugins/wp/ProverCoq.cmi
  1683. - Ocamlc src/plugins/wp/ProverWhy3.cmi
  1684. - Ocamlc src/plugins/wp/ProverWhy3ide.cmi
  1685. - Ocamlc src/plugins/wp/driver.cmo
  1686. - Ocamlc src/plugins/wp/prover.cmi
  1687. - Ocamlc src/plugins/wp/Generator.cmi
  1688. - Ocamlc src/plugins/wp/calculus.cmo
  1689. - Ocamlc src/plugins/wp/cfgDump.cmi
  1690. - Ocamlopt src/kernel_services/cmdline_parameters/parameter_customize.cmx
  1691. - Ocamlopt src/kernel_services/ast_queries/cil_state_builder.cmx
  1692. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Postdominators.cmo
  1693. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Metrics.cmo
  1694. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Callgraph.cmo
  1695. - Ocamlc src/plugins/value/legacy/eval_behaviors.cmo
  1696. - Ocamlc src/plugins/value/legacy/eval_slevel.cmi
  1697. - Ocamlc src/plugins/value/engine/non_linear_evaluation.cmo
  1698. - Ocamlc src/plugins/value/engine/transfer_logic.cmo
  1699. - Ocamlc src/plugins/value/engine/transfer_stmt.cmo
  1700. - Ocamlc src/plugins/value/engine/partitioned_dataflow.cmi
  1701. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/From.cmi
  1702. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/From.cmi
  1703. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Users.cmi
  1704. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Users.cmi
  1705. - Ocamlc src/plugins/inout/outputs.cmo
  1706. - Ocamlc src/plugins/inout/register.cmo
  1707. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Impact.cmi
  1708. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Impact.cmi
  1709. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Pdg.cmi
  1710. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Pdg.cmi
  1711. - Ocamlc src/plugins/sparecode/spare_marks.cmo
  1712. - Ocamlc src/plugins/slicing/fct_slice.cmo
  1713. - Ocamlc src/plugins/loop_analysis/slevel_analysis.cmo
  1714. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Obfuscator.cmo
  1715. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Print_api.cmo
  1716. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Report.cmo
  1717. - Ocamlc src/plugins/variadic/register.cmo
  1718. - Ocamlc src/plugins/wp/wpAnnot.cmo
  1719. - Ocamlc src/plugins/wp/Pcond.cmo
  1720. - Ocamlc src/plugins/wp/Region.cmo
  1721. - Ocamlc src/plugins/wp/Sigma.cmi
  1722. - Ocamlc src/plugins/wp/LogicCompiler.cmi
  1723. - Ocamlc src/plugins/wp/LogicSemantics.cmi
  1724. - Ocamlc src/plugins/wp/LogicAssigns.cmi
  1725. - Ocamlc src/plugins/wp/Sigma.cmo
  1726. - Ocamlc src/plugins/wp/MemEmpty.cmi
  1727. - Ocamlc src/plugins/wp/MemZeroAlias.cmi
  1728. - Ocamlc src/plugins/wp/MemVar.cmi
  1729. - Ocamlc src/plugins/wp/MemTyped.cmi
  1730. - Ocamlc src/plugins/wp/ProverErgo.cmo
  1731. - Ocamlc src/plugins/wp/ProverCoq.cmo
  1732. - Ocamlc src/plugins/wp/ProverWhy3.cmo
  1733. - Ocamlc src/plugins/wp/ProverWhy3ide.cmo
  1734. - Ocamlc src/plugins/wp/prover.cmo
  1735. - Ocamlc src/plugins/wp/Generator.cmo
  1736. - Ocamlc src/plugins/wp/Factory.cmi
  1737. - Ocamlc src/plugins/wp/cfgDump.cmo
  1738. - Ocamlopt src/kernel_services/cmdline_parameters/parameter_state.cmx
  1739. - Ocamlc src/plugins/value/legacy/eval_slevel.cmo
  1740. - Ocamlc src/plugins/value/legacy/eval_funs.cmo
  1741. - Ocamlc src/plugins/value/engine/partitioned_dataflow.cmo
  1742. - Ocamlc src/plugins/value/engine/compute_functions.cmo
  1743. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/From.cmo
  1744. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Users.cmo
  1745. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Inout.cmi
  1746. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Inout.cmi
  1747. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Impact.cmo
  1748. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Pdg.cmo
  1749. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Sparecode.cmi
  1750. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Sparecode.cmi
  1751. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Slicing.cmi
  1752. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Slicing.cmi
  1753. - Ocamlc src/plugins/loop_analysis/register.cmo
  1754. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Variadic.cmi
  1755. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Variadic.cmi
  1756. - Ocamlc src/plugins/wp/Cvalues.cmi
  1757. - Ocamlc src/plugins/wp/CodeSemantics.cmi
  1758. - Ocamlc src/plugins/wp/LogicAssigns.cmo
  1759. - Ocamlc src/plugins/wp/Factory.cmo
  1760. - Ocamlc src/plugins/wp/cfgWP.cmi
  1761. - Ocamlopt src/kernel_services/cmdline_parameters/parameter_builder.cmx
  1762. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Inout.cmo
  1763. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Sparecode.cmo
  1764. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Slicing.cmo
  1765. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/LoopAnalysis.cmi
  1766. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/LoopAnalysis.cmi
  1767. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Variadic.cmo
  1768. - Ocamlc src/plugins/wp/Cvalues.cmo
  1769. - Ocamlc src/plugins/wp/CodeSemantics.cmo
  1770. - Ocamlc src/plugins/wp/LogicCompiler.cmo
  1771. - Ocamlc src/plugins/wp/LogicSemantics.cmo
  1772. - Ocamlc src/plugins/wp/MemEmpty.cmo
  1773. - Ocamlc src/plugins/wp/MemZeroAlias.cmo
  1774. - Ocamlc src/plugins/wp/MemVar.cmo
  1775. - Ocamlc src/plugins/wp/MemTyped.cmo
  1776. - Ocamlc src/plugins/wp/cfgWP.cmo
  1777. - Ocamlc src/plugins/wp/register.cmo
  1778. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Value.cmi
  1779. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Value.cmi
  1780. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/LoopAnalysis.cmo
  1781. - Ocamlopt src/kernel_services/plugin_entry_points/plugin.cmx
  1782. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Value.cmo
  1783. - Ocamlc src/plugins/wp/VC.cmo
  1784. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/Wp.cmi
  1785. - Ocamlc /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Wp.cmi
  1786. - Ocamlopt src/kernel_services/plugin_entry_points/kernel.cmx
  1787. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Wp.cmo
  1788. - Ocamlopt src/kernel_services/plugin_entry_points/emitter.cmx
  1789. - Ocamlopt src/kernel_services/ast_queries/cil_const.cmx
  1790. - Ocamlopt src/libraries/utils/floating_point.cmx
  1791. - Ocamlopt src/kernel_internals/typing/alpha.cmx
  1792. - Ocamlopt src/kernel_internals/parsing/lexerhack.cmx
  1793. - Ocamlopt src/kernel_internals/parsing/errorloc.cmx
  1794. - Ocamlopt src/kernel_services/abstract_interp/lattice_messages.cmx
  1795. - Ocamlopt src/libraries/utils/unicode.cmx
  1796. - Ocamlopt src/kernel_services/ast_queries/logic_env.cmx
  1797. - Ocamlopt src/kernel_services/abstract_interp/abstract_interp.cmx
  1798. - Ocamlopt src/plugins/aorai/aorai_option.cmx
  1799. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Wp.cma
  1800. - Ocamlopt src/plugins/aorai/path_analysis.cmx
  1801. - Linking bin/toplevel.byte
  1802. - Ocamlopt src/kernel_services/ast_queries/logic_const.cmx
  1803. - Ocamlopt src/kernel_services/ast_queries/cil.cmx
  1804. - Ocamlc src/plugins/aorai/tests/aorai/Aorai_test.cmo
  1805. - Ocamlopt src/kernel_services/ast_printing/cil_printer.cmx
  1806. - Ocamlopt src/kernel_services/parsetree/cabshelper.cmx
  1807. - Ocamlopt src/kernel_services/ast_queries/ast_info.cmx
  1808. - Ocamlopt src/plugins/aorai/utils_parser.cmx
  1809. - Ocamlopt src/kernel_services/abstract_interp/origin.cmx
  1810. - Ocamlopt src/kernel_services/abstract_interp/int_Base.cmx
  1811. - Ocamlopt src/kernel_services/abstract_interp/fval.cmx
  1812. - Ocamlopt src/kernel_services/visitors/cabsvisit.cmx
  1813. - Ocamlopt src/kernel_services/abstract_interp/ival.cmx
  1814. - Ocamlopt src/kernel_services/ast_queries/logic_utils.cmx
  1815. - Ocamlopt src/kernel_services/ast_data/ast.cmx
  1816. - Ocamlopt src/kernel_services/ast_printing/logic_print.cmx
  1817. - Ocamlopt src/kernel_services/ast_printing/cil_descriptive_printer.cmx
  1818. - Ocamlopt src/kernel_internals/typing/rmtmps.cmx
  1819. - Ocamlopt src/kernel_services/abstract_interp/map_Lattice.cmx
  1820. - Ocamlopt src/kernel_services/ast_printing/cprint.cmx
  1821. - Ocamlopt src/kernel_internals/parsing/logic_parser.cmx
  1822. - Ocamlopt src/kernel_internals/typing/cfg.cmx
  1823. - Ocamlopt src/kernel_internals/typing/oneret.cmx
  1824. - Ocamlopt src/kernel_internals/typing/mergecil.cmx
  1825. - Ocamlopt src/kernel_internals/typing/logic_builtin.cmx
  1826. - Ocamlopt src/kernel_internals/parsing/logic_lexer.cmx
  1827. - Ocamlopt src/kernel_services/ast_queries/logic_typing.cmx
  1828. - Ocamlopt src/kernel_internals/parsing/cparser.cmx
  1829. - Ocamlopt src/kernel_internals/parsing/clexer.cmx
  1830. - Ocamlopt src/kernel_internals/parsing/logic_preprocess.cmx
  1831. - Ocamlopt src/kernel_services/ast_data/globals.cmx
  1832. - Ocamlopt src/kernel_internals/typing/cabs2cil.cmx
  1833. - Ocamlopt src/kernel_services/ast_data/kernel_function.cmx
  1834. - Ocamlopt src/kernel_services/ast_data/property.cmx
  1835. - Ocamlopt src/kernel_services/analysis/ordered_stmt.cmx
  1836. - Ocamlopt src/kernel_services/analysis/wto_statement.cmx
  1837. - Ocamlopt src/kernel_services/analysis/dataflow2.cmx
  1838. - Ocamlopt src/kernel_services/ast_data/property_status.cmx
  1839. - Ocamlopt src/kernel_services/ast_data/annotations.cmx
  1840. - Ocamlopt src/kernel_services/ast_printing/printer.cmx
  1841. - Ocamlopt src/plugins/aorai/promelaoutput.cmx
  1842. - Ocamlopt src/kernel_services/visitors/visitor.cmx
  1843. - Ocamlopt src/kernel_services/analysis/bit_utils.cmx
  1844. - Ocamlopt src/kernel_services/ast_data/alarms.cmx
  1845. - Ocamlopt src/plugins/aorai/logic_simplification.cmx
  1846. - Ocamlopt src/kernel_internals/typing/frontc.cmx
  1847. - Ocamlopt src/kernel_services/abstract_interp/base.cmx
  1848. - Ocamlopt src/kernel_services/abstract_interp/tr_offset.cmx
  1849. - Ocamlopt src/kernel_services/abstract_interp/offsetmap.cmx
  1850. - Ocamlopt src/plugins/aorai/data_for_aorai.cmx
  1851. - Ocamlopt src/kernel_services/ast_queries/filecheck.cmx
  1852. - Ocamlopt src/plugins/aorai/aorai_utils.cmx
  1853. - Ocamlopt src/plugins/aorai/yaparser.cmx
  1854. - Ocamlopt src/plugins/aorai/promelaparser.cmx
  1855. - Ocamlopt src/plugins/aorai/promelaparser_withexps.cmx
  1856. - Ocamlopt src/kernel_services/ast_queries/file.cmx
  1857. - Ocamlopt src/plugins/aorai/yalexer.cmx
  1858. - Ocamlopt src/plugins/aorai/promelalexer.cmx
  1859. - Ocamlopt src/plugins/aorai/promelalexer_withexps.cmx
  1860. - Ocamlopt src/kernel_services/abstract_interp/int_Intervals.cmx
  1861. - Ocamlopt src/kernel_services/abstract_interp/locations.cmx
  1862. - Ocamlopt src/plugins/aorai/aorai_dataflow.cmx
  1863. - Ocamlopt src/plugins/aorai/aorai_visitors.cmx
  1864. - Ocamlopt src/plugins/value_types/precise_locs.cmx
  1865. - Ocamlopt src/kernel_services/abstract_interp/lmap_bitwise.cmx
  1866. - Ocamlopt src/kernel_services/abstract_interp/lmap.cmx
  1867. - Ocamlopt src/plugins/pdg_types/pdgIndex.cmx
  1868. - Ocamlopt src/plugins/value_types/inout_type.cmx
  1869. - Ocamlopt src/plugins/value_types/function_Froms.cmx
  1870. - Ocamlopt src/plugins/pdg_types/pdgTypes.cmx
  1871. - Ocamlopt src/plugins/value_types/cvalue.cmx
  1872. - Ocamlopt src/plugins/pdg_types/pdgMarks.cmx
  1873. - Ocamlopt src/plugins/slicing_types/slicingInternals.cmx
  1874. - Ocamlopt src/plugins/slicing_types/slicingTypes.cmx
  1875. - Ocamlopt src/plugins/value_types/value_types.cmx
  1876. - Ocamlopt src/kernel_services/plugin_entry_points/db.cmx
  1877. - Ocamlopt src/plugins/aorai/aorai_register.cmx
  1878. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Aorai.cmx
  1879. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Aorai.cmxs
  1880. - Ocamlopt src/kernel_internals/runtime/frama_c_init.cmx
  1881. - Ocamlopt src/libraries/datatype/unmarshal_nums.cmx
  1882. - Ocamlopt src/libraries/utils/bag.cmx
  1883. - Ocamlopt src/libraries/utils/vector.cmx
  1884. - Ocamlopt src/libraries/utils/indexer.cmx
  1885. - Ocamlopt src/libraries/utils/rgmap.cmx
  1886. - Ocamlopt src/libraries/utils/json.cmx
  1887. - Ocamlopt src/libraries/utils/cilconfig.cmx
  1888. - Ocamlopt src/kernel_services/ast_printing/cabs_debug.cmx
  1889. - Ocamlopt src/kernel_services/ast_data/statuses_by_call.cmx
  1890. - Ocamlopt src/kernel_services/analysis/dataflow.cmx
  1891. - Ocamlopt src/kernel_services/analysis/dataflows.cmx
  1892. - Ocamlopt src/kernel_services/analysis/stmts_graph.cmx
  1893. - Ocamlopt src/kernel_services/analysis/dominators.cmx
  1894. - Ocamlopt src/kernel_services/analysis/service_graph.cmx
  1895. - Ocamlopt src/kernel_services/ast_printing/description.cmx
  1896. - Ocamlopt src/kernel_services/abstract_interp/trace.cmx
  1897. - Ocamlopt src/plugins/value_types/widen_type.cmx
  1898. - Ocamlopt src/libraries/utils/command.cmx
  1899. - Ocamlopt src/kernel_internals/typing/translate_lightweight.cmx
  1900. - Ocamlopt src/kernel_internals/typing/allocates.cmx
  1901. - Ocamlopt src/kernel_internals/typing/unroll_loops.cmx
  1902. - Ocamlopt src/kernel_internals/typing/asm_contracts.cmx
  1903. - Ocamlopt src/kernel_services/analysis/loop.cmx
  1904. - Ocamlopt src/kernel_services/analysis/exn_flow.cmx
  1905. - Ocamlopt src/kernel_services/analysis/logic_interp.cmx
  1906. - Ocamlopt src/kernel_internals/typing/infer_annotations.cmx
  1907. - Ocamlopt src/kernel_services/ast_transformations/clone.cmx
  1908. - Ocamlopt src/kernel_services/ast_transformations/filter.cmx
  1909. - Ocamlopt src/kernel_internals/runtime/special_hooks.cmx
  1910. - Ocamlopt src/kernel_internals/runtime/messages.cmx
  1911. - Ocamlopt src/plugins/rte/options.cmx
  1912. - Ocamlopt src/plugins/postdominators/postdominators_parameters.cmx
  1913. - Ocamlopt src/kernel_internals/runtime/boot.cmx
  1914. - Ocamlopt src/plugins/metrics/metrics_parameters.cmx
  1915. - Ocamlopt src/plugins/callgraph/options.cmx
  1916. - Ocamlopt src/plugins/callgraph/journalize.cmx
  1917. - Ocamlopt src/plugins/value/slevel/split_strategy.cmx
  1918. - Ocamlopt src/plugins/value/legacy/state_set.cmx
  1919. - Ocamlopt src/plugins/value/utils/widen.cmx
  1920. - Ocamlopt src/plugins/value/utils/structure.cmx
  1921. - Ocamlopt src/plugins/value/domains/equality/equality_term.cmx
  1922. - Ocamlopt src/plugins/occurrence/options.cmx
  1923. - Ocamlopt src/plugins/from/from_parameters.cmx
  1924. - Ocamlopt src/plugins/constant_propagation/propagationParameters.cmx
  1925. - Ocamlopt src/plugins/inout/inout_parameters.cmx
  1926. - Ocamlopt src/plugins/impact/options.cmx
  1927. - Ocamlopt src/plugins/pdg/pdg_parameters.cmx
  1928. - Ocamlopt src/plugins/sparecode/sparecode_params.cmx
  1929. - Ocamlopt src/plugins/slicing/slicingParameters.cmx
  1930. - Ocamlopt src/plugins/slicing/slicingMarks.cmx
  1931. - Ocamlopt src/plugins/loop_analysis/options.cmx
  1932. - Ocamlopt src/plugins/loop_analysis/region_analysis_sig.cmx
  1933. - Ocamlopt src/plugins/obfuscator/options.cmx
  1934. - Ocamlopt src/plugins/obfuscator/obfuscator_kind.cmx
  1935. - Ocamlopt src/plugins/print_api/grammar.cmx
  1936. - Ocamlopt src/plugins/report/report_parameters.cmx
  1937. - Ocamlopt src/plugins/variadic/options.cmx
  1938. - Ocamlopt src/plugins/wp/rformat.cmx
  1939. - Ocamlopt src/plugins/wp/wprop.cmx
  1940. - Ocamlopt src/plugins/wp/wp_parameters.cmx
  1941. - Ocamlopt src/plugins/wp/wp_error.cmx
  1942. - Compiling Qed (opt.opt)
  1943. - Ocamlopt src/plugins/wp/Separation.cmx
  1944. - Ocamlopt src/plugins/wp/script.cmx
  1945. - Ocamlopt src/plugins/wp/why3_xml.cmx
  1946. - Ocamlopt src/libraries/utils/task.cmx
  1947. - Ocamlopt src/plugins/rte/generator.cmx
  1948. - Ocamlopt src/plugins/rte/rte.cmx
  1949. - Ocamlopt src/plugins/postdominators/print.cmx
  1950. - Ocamlopt src/plugins/metrics/css_html.cmx
  1951. - Ocamlopt src/plugins/metrics/metrics_base.cmx
  1952. - Ocamlopt src/plugins/callgraph/cg.cmx
  1953. - Ocamlopt src/plugins/value/value_parameters.cmx
  1954. - Ocamlopt src/plugins/value/legacy/state_imp.cmx
  1955. - Ocamlopt src/plugins/occurrence/register.cmx
  1956. - Ocamlopt src/plugins/from/from_compute.cmx
  1957. - Ocamlopt src/plugins/from/path_dependencies.cmx
  1958. - Ocamlopt src/plugins/from/mem_dependencies.cmx
  1959. - Ocamlopt src/plugins/from/from_register.cmx
  1960. - Ocamlopt src/plugins/users/users_register.cmx
  1961. - Ocamlopt src/plugins/constant_propagation/register.cmx
  1962. - Ocamlopt src/plugins/inout/cumulative_analysis.cmx
  1963. - Ocamlopt src/plugins/impact/pdg_aux.cmx
  1964. - Ocamlopt src/plugins/pdg/ctrlDpds.cmx
  1965. - Ocamlopt src/plugins/pdg/pdg_state.cmx
  1966. - Ocamlopt src/plugins/scope/datascope.cmx
  1967. - Ocamlopt src/plugins/sparecode/globs.cmx
  1968. - Ocamlopt src/plugins/sparecode/spare_marks.cmx
  1969. - Ocamlopt src/plugins/slicing/slicingMacros.cmx
  1970. - Ocamlopt src/plugins/slicing/slicingCmds.cmx
  1971. - Ocamlopt src/plugins/loop_analysis/region_analysis.cmx
  1972. - Ocamlopt src/plugins/nonterm/nonterm_run.cmx
  1973. - Ocamlopt src/plugins/obfuscator/dictionary.cmx
  1974. - Ocamlopt src/plugins/print_api/lexer.cmx
  1975. - Ocamlopt src/plugins/report/scan.cmx
  1976. - Ocamlopt src/plugins/variadic/extends.cmx
  1977. - Ocamlopt src/plugins/variadic/va_build.cmx
  1978. - Ocamlopt src/plugins/variadic/environment.cmx
  1979. - Ocamlopt src/plugins/wp/dyncall.cmx
  1980. - Ocamlopt src/plugins/wp/variables_analysis.cmx
  1981. - Ocamlopt src/plugins/wp/Context.cmx
  1982. - Ocamlopt src/plugins/wp/VCS.cmx
  1983. - Ocamlopt src/plugins/rte/visit.cmx
  1984. - Ocamlopt src/plugins/postdominators/compute.cmx
  1985. - Ocamlopt src/plugins/metrics/metrics_acsl.cmx
  1986. - Ocamlopt src/plugins/metrics/metrics_cabs.cmx
  1987. - Ocamlopt src/plugins/metrics/metrics_cilast.cmx
  1988. - Ocamlopt src/plugins/metrics/metrics_coverage.cmx
  1989. - Ocamlopt src/plugins/callgraph/services.cmx
  1990. - Ocamlopt src/plugins/callgraph/uses.cmx
  1991. - Ocamlopt src/plugins/callgraph/register.cmx
  1992. - Ocamlopt src/plugins/value/slevel/stop_at_nth.cmx
  1993. - Ocamlopt src/plugins/value/utils/value_perf.cmx
  1994. - Ocamlopt src/plugins/value/utils/mark_noresults.cmx
  1995. - Ocamlopt src/plugins/value/slevel/separate.cmx
  1996. - Ocamlopt src/plugins/value/utils/eval_typ.cmx
  1997. - Ocamlopt src/plugins/value/utils/mem_lvalue.cmx
  1998. - Ocamlopt src/plugins/value/legacy/mem_exec.cmx
  1999. - Ocamlopt src/plugins/value/domains/equality/equality.cmx
  2000. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Occurrence.cmx
  2001. - Ocamlopt src/plugins/from/functionwise.cmx
  2002. - Ocamlopt src/plugins/from/callwise.cmx
  2003. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Users.cmx
  2004. - Ocamlopt src/plugins/inout/operational_inputs.cmx
  2005. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Constant_Propagation.cmx
  2006. - Ocamlopt src/plugins/inout/inputs.cmx
  2007. - Ocamlopt src/plugins/inout/derefs.cmx
  2008. - Ocamlopt src/plugins/impact/reason_graph.cmx
  2009. - Ocamlopt src/plugins/pdg/build.cmx
  2010. - Ocamlopt src/plugins/pdg/sets.cmx
  2011. - Ocamlopt src/plugins/scope/zones.cmx
  2012. - Ocamlopt src/plugins/scope/defs.cmx
  2013. - Ocamlopt src/plugins/sparecode/transform.cmx
  2014. - Ocamlopt src/plugins/slicing/slicingActions.cmx
  2015. - Ocamlopt src/plugins/loop_analysis/region_analysis_stmt.cmx
  2016. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Nonterm.cmx
  2017. - Ocamlopt src/plugins/obfuscator/obfuscate.cmx
  2018. - Ocamlopt src/plugins/print_api/print_interface.cmx
  2019. - Ocamlopt src/plugins/report/dump.cmx
  2020. - Ocamlopt src/plugins/report/csv.cmx
  2021. - Ocamlopt src/plugins/variadic/format_pprint.cmx
  2022. - Ocamlopt src/plugins/variadic/format_typer.cmx
  2023. - Ocamlopt src/plugins/variadic/generic.cmx
  2024. - Ocamlopt src/plugins/variadic/classify.cmx
  2025. - Ocamlopt src/plugins/wp/ctypes.cmx
  2026. - Ocamlopt src/plugins/wp/Warning.cmx
  2027. - Ocamlopt src/plugins/wp/Model.cmx
  2028. - Ocamlopt src/plugins/wp/Splitter.cmx
  2029. - Ocamlopt src/plugins/rte/register.cmx
  2030. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Postdominators.cmx
  2031. - Ocamlopt src/plugins/metrics/register.cmx
  2032. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Callgraph.cmx
  2033. - Ocamlopt src/plugins/value/utils/value_util.cmx
  2034. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Occurrence.cmxs
  2035. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/From.cmx
  2036. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Users.cmxs
  2037. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Constant_Propagation.cmxs
  2038. - Ocamlopt src/plugins/inout/outputs.cmx
  2039. - Ocamlopt src/plugins/impact/compute_impact.cmx
  2040. - Ocamlopt src/plugins/pdg/annot.cmx
  2041. - Ocamlopt src/plugins/pdg/marks.cmx
  2042. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Scope.cmx
  2043. - Ocamlopt src/plugins/sparecode/register.cmx
  2044. - Ocamlopt src/plugins/slicing/fct_slice.cmx
  2045. - Ocamlopt src/plugins/loop_analysis/loop_analysis.cmx
  2046. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Nonterm.cmxs
  2047. - Ocamlopt src/plugins/obfuscator/obfuscator_register.cmx
  2048. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Print_api.cmx
  2049. - Ocamlopt src/plugins/report/register.cmx
  2050. - Ocamlopt src/plugins/variadic/format_parser.cmx
  2051. - Ocamlopt src/plugins/wp/clabels.cmx
  2052. - Ocamlopt src/plugins/wp/VarUsageRef.cmx
  2053. - Ocamlopt src/plugins/wp/VarUsage.cmx
  2054. - Ocamlopt src/plugins/wp/RefUsage.cmx
  2055. - Ocamlopt src/plugins/wp/cil2cfg.cmx
  2056. - Ocamlopt src/plugins/wp/normAtLabels.cmx
  2057. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/RteGen.cmx
  2058. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Metrics.cmx
  2059. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Callgraph.cmxs
  2060. - Ocamlopt src/plugins/value/legacy/value_messages.cmx
  2061. - Ocamlopt src/plugins/value/utils/library_functions.cmx
  2062. - Ocamlopt src/plugins/value/utils/value_results.cmx
  2063. - Ocamlopt src/plugins/value/slevel/per_stmt_slevel.cmx
  2064. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/From.cmxs
  2065. - Ocamlopt src/plugins/inout/register.cmx
  2066. - Ocamlopt src/plugins/impact/register.cmx
  2067. - Ocamlopt src/plugins/pdg/register.cmx
  2068. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Scope.cmxs
  2069. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Sparecode.cmx
  2070. - Ocamlopt src/plugins/slicing/printSlice.cmx
  2071. - Ocamlopt src/plugins/slicing/slicingTransform.cmx
  2072. - Ocamlopt src/plugins/loop_analysis/slevel_analysis.cmx
  2073. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Obfuscator.cmx
  2074. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Print_api.cmxs
  2075. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Report.cmx
  2076. - Ocamlopt src/plugins/variadic/standard.cmx
  2077. - Ocamlopt src/plugins/wp/LogicUsage.cmx
  2078. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Metrics.cmxs
  2079. - Ocamlopt src/plugins/value/legacy/valarms.cmx
  2080. - Ocamlopt src/plugins/value/utils/state_import.cmx
  2081. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Inout.cmx
  2082. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Impact.cmx
  2083. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Pdg.cmx
  2084. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Sparecode.cmxs
  2085. - Ocamlopt src/plugins/slicing/slicingProject.cmx
  2086. - Ocamlopt src/plugins/loop_analysis/register.cmx
  2087. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Obfuscator.cmxs
  2088. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Report.cmxs
  2089. - Ocamlopt src/plugins/variadic/translate.cmx
  2090. - Ocamlopt src/plugins/wp/wpPropId.cmx
  2091. - Ocamlopt src/plugins/wp/Lang.cmx
  2092. - Ocamlopt src/plugins/value/legacy/warn.cmx
  2093. - Ocamlopt src/plugins/value/alarmset.cmx
  2094. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Inout.cmxs
  2095. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Impact.cmxs
  2096. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Pdg.cmxs
  2097. - Ocamlopt src/plugins/slicing/register.cmx
  2098. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/LoopAnalysis.cmx
  2099. - Ocamlopt src/plugins/variadic/register.cmx
  2100. - Ocamlopt src/plugins/wp/wpStrategy.cmx
  2101. - Ocamlopt src/plugins/wp/mcfg.cmx
  2102. - Ocamlopt src/plugins/wp/proof.cmx
  2103. - Ocamlopt src/plugins/value/legacy/eval_op.cmx
  2104. - Ocamlopt src/plugins/value/domains/cvalue/locals_scoping.cmx
  2105. - Ocamlopt src/plugins/value/eval.cmx
  2106. - Ocamlopt src/plugins/value/values/cvalue_forward.cmx
  2107. - Ocamlopt src/plugins/value/values/main_locations.cmx
  2108. - Ocamlopt src/plugins/value/domains/cvalue/cvalue_init.cmx
  2109. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Slicing.cmx
  2110. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/LoopAnalysis.cmxs
  2111. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Variadic.cmx
  2112. - Ocamlopt src/plugins/wp/wpAnnot.cmx
  2113. - Ocamlopt src/plugins/wp/Plang.cmx
  2114. - Ocamlopt src/plugins/wp/Matrix.cmx
  2115. - Ocamlopt src/plugins/wp/Passive.cmx
  2116. - Ocamlopt src/plugins/wp/Letify.cmx
  2117. - Ocamlopt src/plugins/wp/Cleaning.cmx
  2118. - Ocamlopt src/plugins/wp/LogicBuiltins.cmx
  2119. - Ocamlopt src/plugins/wp/Vset.cmx
  2120. - Ocamlopt src/plugins/wp/ProverTask.cmx
  2121. - Ocamlopt src/plugins/wp/calculus.cmx
  2122. - Ocamlopt src/plugins/value/legacy/eval_terms.cmx
  2123. - Ocamlopt src/plugins/value/legacy/eval_exprs.cmx
  2124. - Ocamlopt src/plugins/value/values/value_product.cmx
  2125. - Ocamlopt src/plugins/value/values/location_lift.cmx
  2126. - Ocamlopt src/plugins/value/values/cvalue_backward.cmx
  2127. - Ocamlopt src/plugins/value/domains/domain_product.cmx
  2128. - Ocamlopt src/plugins/value/domains/domain_lift.cmx
  2129. - Ocamlopt src/plugins/value/domains/unit_domain.cmx
  2130. - Ocamlopt src/plugins/value/engine/mem_exec2.cmx
  2131. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Slicing.cmxs
  2132. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Variadic.cmxs
  2133. - Ocamlopt src/plugins/wp/Conditions.cmx
  2134. - Ocamlopt src/plugins/wp/Definitions.cmx
  2135. - Ocamlopt src/plugins/wp/Cint.cmx
  2136. - Ocamlopt src/plugins/wp/Cfloat.cmx
  2137. - Ocamlopt src/plugins/wp/Region.cmx
  2138. - Ocamlopt src/plugins/wp/driver.cmx
  2139. - Ocamlopt src/plugins/value/legacy/eval_annots.cmx
  2140. - Ocamlopt src/plugins/value/legacy/eval_non_linear.cmx
  2141. - Ocamlopt src/plugins/value/legacy/initial_state.cmx
  2142. - Ocamlopt src/plugins/value/domains/cvalue/builtins.cmx
  2143. - Ocamlopt src/plugins/value/legacy/split_return.cmx
  2144. - Ocamlopt src/plugins/value/values/main_values.cmx
  2145. - Ocamlopt src/plugins/wp/Pcond.cmx
  2146. - Ocamlopt src/plugins/wp/Vlist.cmx
  2147. - Ocamlopt src/plugins/wp/Cstring.cmx
  2148. - Ocamlopt src/plugins/value/legacy/eval_behaviors.cmx
  2149. - Ocamlopt src/plugins/value/legacy/function_args.cmx
  2150. - Ocamlopt src/plugins/value/domains/apron/apron_domain.cmx
  2151. - Ocamlopt src/plugins/value/values/offsm_value.cmx
  2152. - Ocamlopt src/plugins/value/domains/equality/equality_domain.cmx
  2153. - Ocamlopt src/plugins/value/domains/cvalue/cvalue_transfer.cmx
  2154. - Ocamlopt src/plugins/value/domains/cvalue/builtins_float.cmx
  2155. - Ocamlopt src/plugins/value/engine/evaluation.cmx
  2156. - Ocamlopt src/plugins/wp/Memory.cmx
  2157. - Ocamlopt src/plugins/wp/wpo.cmx
  2158. - Ocamlopt src/plugins/value/legacy/eval_stmt.cmx
  2159. - Ocamlopt src/plugins/value/domains/offsm_domain.cmx
  2160. - Ocamlopt src/plugins/value/domains/cvalue/cvalue_domain.cmx
  2161. - Ocamlopt src/plugins/wp/Cvalues.cmx
  2162. - Ocamlopt src/plugins/wp/Sigma.cmx
  2163. - Ocamlopt src/plugins/wp/LogicAssigns.cmx
  2164. - Ocamlopt src/plugins/wp/wpReport.cmx
  2165. - Ocamlopt src/plugins/wp/ProverErgo.cmx
  2166. - Ocamlopt src/plugins/wp/ProverCoq.cmx
  2167. - Ocamlopt src/plugins/wp/ProverWhy3.cmx
  2168. - Ocamlopt src/plugins/wp/Generator.cmx
  2169. - Ocamlopt src/plugins/value/legacy/eval_slevel.cmx
  2170. - Ocamlopt src/plugins/value/engine/non_linear_evaluation.cmx
  2171. - Ocamlopt src/plugins/value/engine/partitioning.cmx
  2172. - Ocamlopt src/plugins/value/engine/transfer_stmt.cmx
  2173. - Ocamlopt src/plugins/value/engine/initialization.cmx
  2174. - Ocamlopt src/plugins/value/engine/abstractions.cmx
  2175. - Ocamlopt src/plugins/wp/CodeSemantics.cmx
  2176. - Ocamlopt src/plugins/wp/LogicCompiler.cmx
  2177. - Ocamlopt src/plugins/wp/MemEmpty.cmx
  2178. - Ocamlopt src/plugins/wp/MemZeroAlias.cmx
  2179. - Ocamlopt src/plugins/wp/MemVar.cmx
  2180. - Ocamlopt src/plugins/wp/MemTyped.cmx
  2181. - Ocamlopt src/plugins/wp/ProverWhy3ide.cmx
  2182. - Ocamlopt src/plugins/wp/prover.cmx
  2183. - Ocamlopt src/plugins/wp/cfgDump.cmx
  2184. - Ocamlopt src/plugins/value/legacy/eval_funs.cmx
  2185. - Ocamlopt src/plugins/value/engine/transfer_logic.cmx
  2186. - Ocamlopt src/plugins/wp/LogicSemantics.cmx
  2187. - Ocamlopt src/plugins/wp/Factory.cmx
  2188. - Ocamlopt src/plugins/value/engine/partitioned_dataflow.cmx
  2189. - Ocamlopt src/plugins/wp/cfgWP.cmx
  2190. - Ocamlopt src/plugins/value/engine/compute_functions.cmx
  2191. - Ocamlopt src/plugins/value/register.cmx
  2192. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Value.cmx
  2193. - Ocamlopt src/plugins/wp/register.cmx
  2194. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Value.cmxs
  2195. - Ocamlopt src/plugins/wp/VC.cmx
  2196. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Wp.cmx
  2197. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Wp.cmxs
  2198. - Packing /home/spearman/.opam/4.02.1/build/frama-c-base.20160502/lib/plugins/top/Wp.cmxa
  2199. - Linking bin/toplevel.opt
  2200. - Packing src/plugins/aorai/tests/aorai/Aorai_test.cmxs
  2201. [frama-c-base: make install] Command started
  2202. + make "install" (CWD=/home/spearman/.opam/4.02.1/build/frama-c-base.20160502)
  2203. - Cleaning Installation directory
  2204. - Installing WP shared files
  2205. - /bin/sh: 1: src/plugins/wp/share/instwp: not found
  2206. - make: *** [src/plugins/wp/Makefile:355: install] Error 127
  2207. [frama-c-base: sh] Command started
  2208. + sh "-eux" "./run_autoconf_if_needed.sh" (CWD=/home/spearman/.opam/4.02.1/build/frama-c-base.20160502)
  2209. - + [ ! -f configure ]
  2210. [frama-c-base: ./configure] Command started
  2211. + ./configure "--prefix" "/home/spearman/.opam/4.02.1" "--disable-local-ocamlgraph" "--disable-gui" (CWD=/home/spearman/.opam/4.02.1/build/frama-c-base.20160502)
  2212. - configure: ******************
  2213. - configure: * CONFIGURE MAKE *
  2214. - configure: ******************
  2215. - checking for make... make
  2216. - checking version of make... 4.2
  2217. - configure: *****************************
  2218. - configure: * CONFIGURE OCAML COMPILERS *
  2219. - configure: *****************************
  2220. - checking for ocamlc... ocamlc
  2221. - checking version of OCaml... 4.02.1
  2222. - checking OCaml library path... /home/spearman/.opam/4.02.1/lib/ocaml
  2223. - checking for ocamlopt... ocamlopt
  2224. - checking ocamlopt version and standard library... ok
  2225. - checking for ocamlc.opt... ocamlc.opt
  2226. - checking ocamlc.opt version and standard library... ok
  2227. - checking for ocamlopt.opt... ocamlopt.opt
  2228. - checking ocamlc.opt version and standard library... ok
  2229. - configure: *******************************************
  2230. - configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES *
  2231. - configure: *******************************************
  2232. - checking for ocamldep... ocamldep
  2233. - checking for ocamldep.opt... ocamldep.opt
  2234. - checking for ocamllex... ocamllex
  2235. - checking for ocamllex.opt... ocamllex.opt
  2236. - checking for ocamlyacc... ocamlyacc
  2237. - checking for ocamlfind... ocamlfind
  2238. - configure: ******************************************
  2239. - configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES *
  2240. - configure: ******************************************
  2241. - checking for ocamldoc... ocamldoc
  2242. - checking for ocamldoc.opt... ocamldoc.opt
  2243. - checking for ocamlmktop... ocamlmktop
  2244. - checking for ocamlcp... ocamlcp
  2245. - checking for otags... no
  2246. - configure: OcamlGraph 1.8.6 found: great!
  2247. - configure: OcamlGraph native version is ok
  2248. - checking for Zarith... checking for Apron... not found. The corresponding domains won't be available in Eva
  2249. - configure: **********************
  2250. - configure: * CONFIGURE PLATFORM *
  2251. - configure: **********************
  2252. - checking platform... Unix
  2253. - checking OCaml native threads... ok.
  2254. - checking for gcc... gcc
  2255. - checking whether the C compiler works... yes
  2256. - checking for C compiler default output file name... a.out
  2257. - checking for suffix of executables...
  2258. - checking whether we are cross compiling... no
  2259. - checking for suffix of object files... o
  2260. - checking whether we are using the GNU C compiler... yes
  2261. - checking whether gcc accepts -g... yes
  2262. - checking for gcc option to accept ISO C89...
  2263. - configure: WARNING: Zarith not found: will use the default less efficient library instead
  2264. - none needed
  2265. - checking how to run the C preprocessor... gcc -E
  2266. - checking for grep that handles long lines and -e... /bin/grep
  2267. - checking for egrep... /bin/grep -E
  2268. - checking for ANSI C header files... yes
  2269. - checking for sys/types.h... yes
  2270. - checking for sys/stat.h... yes
  2271. - checking for stdlib.h... yes
  2272. - checking for string.h... yes
  2273. - checking for memory.h... yes
  2274. - checking for strings.h... yes
  2275. - checking for inttypes.h... yes
  2276. - checking for stdint.h... yes
  2277. - checking for unistd.h... yes
  2278. - checking for stdlib.h... (cached) yes
  2279. - checking assert.h usability... yes
  2280. - checking assert.h presence...
  2281. - yes
  2282. - checking for assert.h... yes
  2283. - checking float.h usability... yes
  2284. - checking float.h presence... yes
  2285. - checking for float.h... yes
  2286. - checking math.h usability... yes
  2287. - checking math.h presence... yes
  2288. - checking for math.h... yes
  2289. - checking signal.h usability... yes
  2290. - checking signal.h presence... yes
  2291. - checking for signal.h... yes
  2292. - checking for unistd.h... (cached) yes
  2293. - checking how to run the C preprocessor... gcc -E
  2294. - /* Check whether comments are kept in output */
  2295. - Default preprocessor is 'gcc -E -C -I.'.
  2296. - configure: ***************************
  2297. - configure: * WISHED FRAMA-C PLUG-INS *
  2298. - configure: ***************************
  2299. - checking for src/plugins/callgraph... yes
  2300. - callgraph... yes
  2301. - checking for src/plugins/constant_propagation... yes
  2302. - semantic_constant_folding... yes
  2303. - checking for src/plugins/from... yes
  2304. - from_analysis... yes
  2305. - checking for src/plugins/gui... yes
  2306. - gui... no
  2307. - checking for src/plugins/impact... yes
  2308. - impact... yes
  2309. - checking for src/plugins/inout... yes
  2310. - inout... yes
  2311. - checking for src/plugins/metrics... yes
  2312. - metrics... yes
  2313. - checking for src/plugins/occurrence... yes
  2314. - occurrence... yes
  2315. - checking for src/plugins/pdg... yes
  2316. - pdg... yes
  2317. - checking for src/plugins/postdominators... yes
  2318. - postdominators... yes
  2319. - checking for src/plugins/rte... yes
  2320. - rtegen... yes
  2321. - checking for src/plugins/scope... yes
  2322. - scope... yes
  2323. - checking for src/plugins/slicing... yes
  2324. - slicing... yes
  2325. - checking for src/plugins/sparecode... yes
  2326. - sparecode... yes
  2327. - checking for src/plugins/users... yes
  2328. - users... yes
  2329. - checking for src/plugins/value... yes
  2330. - value_analysis... yes
  2331. - checking for src/plugins/aorai/Makefile.in... yes
  2332. - aorai... yes
  2333. - checking for ltl2ba... no
  2334. - checking for src/plugins/loop_analysis/Makefile.in... yes
  2335. - loop_analysis... yes
  2336. - checking for src/plugins/nonterm/Makefile.in... yes
  2337. - nonterm... yes
  2338. - checking for src/plugins/obfuscator/Makefile.in... yes
  2339. - obfuscator... yes
  2340. - checking for src/plugins/print_api... yes
  2341. - print_api... yes
  2342. - checking for src/plugins/report/Makefile.in... yes
  2343. - report... yes
  2344. - checking for src/plugins/security_slicing/Makefile.in... yes
  2345. - security_slicing... yes
  2346. - checking for src/plugins/variadic/Makefile.in... yes
  2347. - variadic... yes
  2348. - checking for src/plugins/wp/Makefile.in... yes
  2349. - wp... yes
  2350. - configure: *******************************************************
  2351. - configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
  2352. - configure: *******************************************************
  2353. - Ocamlfind -> using +lablgtk2.(,/home/spearman/.opam/4.02.1/lib/ocaml/lablgtk2)
  2354. - checking for /home/spearman/.opam/4.02.1/lib/ocaml/lablgtk2/lablgtksourceview2.cmxa... no
  2355. - checking for /home/spearman/.opam/4.02.1/lib/ocaml/lablgtk2/lablgnomecanvas.cmxa... no
  2356. - checking for /home/spearman/.opam/4.02.1/lib/ocaml/lablgtk2/lablgtk.cmxa... no
  2357. - checking for dot... yes
  2358. - checking for /home/spearman/.opam/4.02.1/lib/ocaml/dynlink.cmxa... yes
  2359. - native dynlink works fine. Great.
  2360. - configure: *************************************
  2361. - configure: * CHECKING FOR PLUG-IN DEPENDENCIES *
  2362. - configure: *************************************
  2363. - checking for coqc... no
  2364. - configure: rerun configure to make wp using coq 8.5
  2365. - ocamlfind: Package `lablgtk2' not found
  2366. - configure: WARNING: ltl2ba not found.
  2367. - configure: WARNING: aorai partially enabled because ltl2ba missing.
  2368. - configure: WARNING: lablgtksourceview2.cmxa not found
  2369. - configure: WARNING: lablgnomecanvas.cmxa not found
  2370. - configure: WARNING: /home/spearman/.opam/4.02.1/lib/ocaml/lablgtk2/lablgtk.cmxa not found.
  2371. - configure: WARNING: callgraph partially enabled because gui not enabled.
  2372. - configure: WARNING: security_slicing disabled because gui not enabled.
  2373. - configure: WARNING: impact only partially enabled because gui not enabled.
  2374. - configure: WARNING: metrics only partially enabled because gui not enabled.
  2375. - configure: WARNING: occurrence only partially enabled because gui not enabled.
  2376. - configure: WARNING: scope only partially enabled because gui not enabled.
  2377. - configure: WARNING: slicing only partially enabled because gui not enabled.
  2378. - configure: WARNING: value_analysis only partially enabled because gui not enabled.
  2379. - configure: WARNING: wp only partially enabled because gui not enabled.
  2380. - configure: *********************
  2381. - configure: * CREATING MAKEFILE *
  2382. - configure: *********************
  2383. - configure: creating ./config.status
  2384. - config.status: creating src/plugins/loop_analysis/Makefile
  2385. - config.status: creating src/plugins/nonterm/Makefile
  2386. - config.status: creating src/plugins/obfuscator/Makefile
  2387. - config.status: creating src/plugins/report/Makefile
  2388. - config.status: creating src/plugins/variadic/Makefile
  2389. - config.status: creating src/plugins/aorai/Makefile
  2390. - config.status: creating src/plugins/security_slicing/Makefile
  2391. - config.status: creating src/plugins/wp/Makefile
  2392. - config.status: creating share/Makefile.config
  2393. - configure: *******************************
  2394. - configure: * SUMMARY: PLUG-INS AVAILABLE *
  2395. - configure: *******************************
  2396. - configure: callgraph: partial, dynamic, gui not enabled
  2397. - configure: semantic_constant_folding: yes, dynamic
  2398. - configure: from_analysis: yes, dynamic
  2399. - configure: gui: no
  2400. - configure: impact: partial, dynamic, gui not enabled
  2401. - configure: inout: yes, dynamic
  2402. - configure: metrics: partial, dynamic, gui not enabled
  2403. - configure: occurrence: partial, dynamic, gui not enabled
  2404. - configure: pdg: yes, dynamic
  2405. - configure: postdominators: yes
  2406. - configure: rtegen: yes
  2407. - configure: scope: partial, dynamic, gui not enabled
  2408. - configure: slicing: partial, dynamic, gui not enabled
  2409. - configure: sparecode: yes, dynamic
  2410. - configure: users: yes, dynamic
  2411. - configure: value_analysis: partial, dynamic, gui not enabled
  2412. - configure: aorai: partial, dynamic, ltl2ba missing
  2413. - configure: loop_analysis: yes, dynamic
  2414. - configure: nonterm: yes, dynamic
  2415. - configure: obfuscator: yes, dynamic
  2416. - configure: print_api: yes, dynamic
  2417. - configure: report: yes, dynamic
  2418. - configure: security_slicing: no, gui not enabled
  2419. - configure: variadic: yes, dynamic
  2420. - configure: wp: partial, dynamic, gui not enabled
  2421. [frama-c-base: make uninstall] Command started
  2422. + make "uninstall" (CWD=/home/spearman/.opam/4.02.1/build/frama-c-base.20160502)
  2423. - Generating src/kernel_internals/runtime/config.ml
  2424. - Generating src/kernel_internals/runtime/frama_c_config.ml
  2425. - Generating share/Makefile.kernel
  2426. - Generating .depend
  2427. - Cleaning WP shared files
  2428. - Cleaning Qed Library
  2429. - Cleaning installed binaries
  2430. - Cleaning installed shared files
  2431. - Cleaning installed libraries
  2432. - Cleaning installed man files
  2433. [frama-c-base: rm] Command started
  2434. + rm "-rf" "/home/spearman/.opam/4.02.1/doc/frama-c-base" (CWD=/home/spearman/.opam/4.02.1/build/frama-c-base.20160502)
  2435.  
  2436.  
  2437. =-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
  2438. The following actions failed
  2439. ∗ install frama-c-base 20160502
  2440. The following changes have been performed
  2441. ∗ install conf-m4 1
  2442. ∗ install ocamlfind 1.7.1
  2443. ∗ install ocamlgraph 1.8.6
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!