=> Bootstrap dependency digest>=20010302: found digest-20190127 ===> Skipping vulnerability checks. WARNING: No /var/db/pkg/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'. ===> Building for frama-c-20170501nb21 Ocamllex src/kernel_internals/parsing/clexer.ml Ocamlyacc src/kernel_internals/parsing/cparser.ml Ocamllex src/libraries/utils/json.ml Ocamllex src/kernel_internals/parsing/logic_lexer.ml 36 states, 360 transitions, table size 1656 bytes 148 states, 1842 transitions, table size 8256 bytes 1933 additional bytes used for bindings Ocamlyacc src/kernel_internals/parsing/logic_parser.ml 381 states, 4411 transitions, table size 19930 bytes 3329 additional bytes used for bindings Ocamllex src/kernel_internals/parsing/logic_preprocess.ml Generating src/plugins/value/domains/apron/apron_domain.ml Generating src/kernel_internals/runtime/config.ml 136 states, 558 transitions, table size 3048 bytes 2127 additional bytes used for bindings Generating share/frama-c.rc Generating share/Makefile.dynamic_config Generating share/Makefile.kernel Generating src/plugins/wp/.Makefile.plugin.generated Generating src/plugins/variadic/.Makefile.plugin.generated Generating src/plugins/security_slicing/.Makefile.plugin.generated Generating src/plugins/report/.Makefile.plugin.generated Generating src/plugins/print_api/.Makefile.plugin.generated Generating src/plugins/obfuscator/.Makefile.plugin.generated Generating src/plugins/nonterm/.Makefile.plugin.generated Generating src/plugins/loop_analysis/.Makefile.plugin.generated Generating src/plugins/e-acsl/.Makefile.plugin.generated Generating src/plugins/aorai/.Makefile.plugin.generated Generating src/plugins/slicing/.Makefile.plugin.generated Generating src/plugins/sparecode/.Makefile.plugin.generated Generating src/plugins/pdg/.Makefile.plugin.generated Generating src/plugins/scope/.Makefile.plugin.generated Generating src/plugins/impact/.Makefile.plugin.generated Generating src/plugins/inout/.Makefile.plugin.generated Generating src/plugins/postdominators/.Makefile.plugin.generated Generating src/plugins/constant_propagation/.Makefile.plugin.generated Generating src/plugins/users/.Makefile.plugin.generated Generating src/plugins/from/.Makefile.plugin.generated Generating src/plugins/rte/.Makefile.plugin.generated Generating src/plugins/occurrence/.Makefile.plugin.generated Generating src/plugins/value/.Makefile.plugin.generated Generating src/plugins/metrics/.Makefile.plugin.generated Generating src/plugins/callgraph/.Makefile.plugin.generated Generating src/kernel_internals/runtime/frama_c_config.ml Generating .depend Ocamllex src/plugins/wp/rformat.ml Ocamllex src/plugins/wp/why3_xml.ml Ocamllex src/plugins/wp/script.ml 31 states, 1109 transitions, table size 4622 bytes 4393 additional bytes used for bindings Ocamllex src/plugins/wp/driver.ml 57 states, 826 transitions, table size 3646 bytes 114 states, 1396 transitions, table size 6268 bytes 3538 additional bytes used for bindings Ocamllex src/plugins/wp/qed/src/numbers.ml 53 states, 1709 transitions, table size 7154 bytes 4689 additional bytes used for bindings 105 states, 2064 transitions, table size 8886 bytes 2265 additional bytes used for bindings Generating src/plugins/wp/Wp.mli Ocamlyacc src/plugins/print_api/grammar.ml Generating src/plugins/e-acsl/local_config.ml Ocamllex src/plugins/print_api/lexer.ml 8 states, 264 transitions, table size 1104 bytes Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml Ocamllex src/plugins/aorai/promelalexer_withexps.ml 4 shift/reduce conflicts. Ocamllex src/plugins/aorai/promelalexer.ml 100 states, 4420 transitions, table size 18280 bytes Ocamlyacc src/plugins/aorai/promelaparser.ml 85 states, 4392 transitions, table size 18078 bytes Ocamllex src/plugins/aorai/ltllexer.ml Ocamlyacc src/plugins/aorai/ltlparser.ml 7 shift/reduce conflicts. 82 states, 3369 transitions, table size 13968 bytes Ocamllex src/plugins/aorai/yalexer.ml Ocamlyacc src/plugins/aorai/yaparser.ml 73 states, 2302 transitions, table size 9646 bytes Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/From.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Inout.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Impact.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Scope.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Scope.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Impact.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/From.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Occurrence.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Value.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Callgraph.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Metrics.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Security_slicing.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.mli Ocamldep src/plugins/variadic/.depend Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.mli Ocamldep src/plugins/security_slicing/.depend Ocamldep src/plugins/report/.depend Ocamldep src/plugins/print_api/.depend Ocamldep src/plugins/obfuscator/.depend Ocamldep src/plugins/nonterm/.depend Ocamldep src/plugins/loop_analysis/.depend Ocamldep src/plugins/e-acsl/.depend Ocamldep src/plugins/aorai/.depend Ocamldep src/plugins/slicing/.depend Ocamldep src/plugins/sparecode/.depend Ocamldep src/plugins/scope/.depend Ocamldep src/plugins/pdg/.depend Ocamldep src/plugins/impact/.depend Ocamldep src/plugins/inout/.depend Ocamldep src/plugins/postdominators/.depend Ocamldep src/plugins/constant_propagation/.depend Ocamldep src/plugins/users/.depend Ocamldep src/plugins/from/.depend Ocamldep src/plugins/rte/.depend Ocamldep src/plugins/occurrence/.depend Ocamldep src/plugins/value/.depend Ocamldep src/plugins/metrics/.depend Ocamldep src/plugins/callgraph/.depend Ocamldep src/plugins/wp/.depend Ocamlc src/plugins/aorai/bool3.cmi Generating META.frama-c-aorai Ocamlc src/libraries/stdlib/FCSet.cmi Ocamlc src/libraries/datatype/unmarshal.cmi Ocamlc src/libraries/utils/pretty_utils.cmi Ocamlc src/libraries/stdlib/FCMap.cmi Ocamlc src/libraries/stdlib/FCHashtbl.cmi Ocamlc src/libraries/stdlib/extlib.cmi Ocamlc src/plugins/aorai/ltlast.cmi Ocamlc src/libraries/utils/wto.cmi Ocamlc src/plugins/aorai/aorai_dataflow.cmi Ocamlc src/libraries/utils/filepath.cmi Ocamlc src/libraries/utils/escape.cmi Ocamlc src/libraries/utils/hook.cmi Ocamlc src/plugins/value_types/cilE.cmi Ocamlopt src/plugins/aorai/bool3.cmx Ocamlopt src/libraries/datatype/unmarshal.cmx Ocamlc src/libraries/stdlib/transitioning.cmi Ocamlopt src/libraries/stdlib/FCSet.cmx Ocamlc src/libraries/stdlib/FCBuffer.cmi Ocamlopt src/libraries/utils/hook.cmx Ocamlc src/kernel_internals/runtime/config.cmi Ocamlopt src/libraries/stdlib/FCMap.cmx Ocamlc src/libraries/utils/qstack.cmi Ocamlc src/libraries/utils/binary_cache.cmi Ocamlc src/libraries/utils/utf8_logic.cmi Ocamlopt src/libraries/utils/escape.cmx Ocamlc src/kernel_internals/typing/alpha.cmi Ocamlc src/kernel_internals/parsing/errorloc.cmi Ocamlopt src/libraries/utils/wto.cmx Ocamlc src/libraries/utils/bitvector.cmi Ocamlc src/kernel_internals/parsing/logic_preprocess.cmi Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmi Ocamlc src/libraries/utils/unicode.cmi Generating ptests/ptests_config.ml Generating tests/ptests_config Ocamlc src/plugins/slicing/register_gui.cmi Ocamlc src/plugins/gui/wutil.cmi Ocamlc src/plugins/gui/widget.cmi Ocamlc src/libraries/utils/command.cmi Ocamlc src/libraries/utils/cilconfig.cmi Ocamlc src/libraries/utils/rgmap.cmi Ocamlc src/plugins/gui/wtable.cmi Ocamlc src/libraries/utils/indexer.cmi Ocamlc src/libraries/utils/task.cmi Ocamlc src/plugins/gui/source_viewer.cmi Generating src/plugins/e-acsl/tests/ptests_config Generating src/plugins/report/tests/ptests_config Generating src/plugins/wp/tests/ptests_config Ocamlc src/plugins/aorai/bool3.cmo Ocamlc src/libraries/datatype/structural_descr.cmi Ocamlc src/kernel_services/plugin_entry_points/log.cmi Ocamlc src/libraries/stdlib/integer.cmi Ocamlc src/plugins/aorai/ltl_output.cmi Ocamlopt src/libraries/stdlib/transitioning.cmx Ocamlopt src/libraries/stdlib/FCBuffer.cmx Ocamlopt src/libraries/stdlib/FCHashtbl.cmx Ocamlopt src/libraries/utils/qstack.cmx Ocamlopt src/libraries/utils/utf8_logic.cmx Ocamlopt src/plugins/aorai/ltl_output.cmx Ocamlopt src/libraries/utils/bitvector.cmx Linking bin/ptests.opt Ocamlopt src/plugins/gui/wutil.cmx Ocamlc src/plugins/gui/wtext.cmi Ocamlopt src/libraries/utils/rgmap.cmx Ocamlc src/plugins/gui/warning_manager.cmi Ocamlopt src/plugins/gui/wtable.cmx Ocamlopt src/libraries/utils/indexer.cmx Ocamlc src/libraries/datatype/type.cmi Ocamlc src/libraries/project/project_skeleton.cmi Ocamlc src/kernel_services/ast_data/cil_types.cmi Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmi Ocamlc src/plugins/aorai/ltl_output.cmo Ocamlopt src/libraries/datatype/structural_descr.cmx Ocamlopt src/libraries/stdlib/extlib.cmx Ocamlc src/kernel_services/plugin_entry_points/journal.cmi Ocamlopt src/libraries/stdlib/integer.cmx Ocamlc src/libraries/utils/floating_point.cmi Ocamlc src/kernel_internals/runtime/machdeps.cmi Ocamlc src/kernel_services/ast_queries/ast_info.cmi Ocamlc src/kernel_services/ast_printing/cil_descriptive_printer.cmi Ocamlc src/kernel_services/analysis/ordered_stmt.cmi Ocamlc src/kernel_services/analysis/undefined_sequence.cmi Ocamlc src/kernel_internals/typing/rmtmps.cmi Ocamlc src/kernel_internals/typing/oneret.cmi Ocamlc src/kernel_internals/typing/mergecil.cmi Ocamlc src/kernel_internals/typing/logic_builtin.cmi Ocamlopt src/plugins/value_types/cilE.cmx Ocamlc src/plugins/callgraph/journalize.cmi Ocamlc src/kernel_services/analysis/logic_interp.cmi Ocamlopt src/plugins/gui/widget.cmx Ocamlc src/plugins/gui/filetree.cmi Ocamlc src/libraries/datatype/descr.cmi Ocamlc src/kernel_services/parsetree/logic_ptree.cmi Ocamlc src/kernel_services/ast_printing/printer_api.cmi Ocamlc src/kernel_internals/typing/cfg.cmi Ocamlopt src/libraries/datatype/type.cmx Ocamlopt src/libraries/utils/pretty_utils.cmx Ocamlopt src/libraries/utils/filepath.cmx Ocamlopt src/kernel_internals/runtime/machdeps.cmx Ocamlc src/kernel_services/ast_printing/logic_print.cmi Ocamlopt src/plugins/gui/wtext.cmx Ocamlc src/libraries/datatype/datatype.cmi Ocamlc src/kernel_services/parsetree/cabs.cmo Ocamlc src/plugins/aorai/promelaast.cmi Ocamlc src/kernel_services/ast_printing/printer.cmi Ocamlc src/kernel_internals/parsing/logic_parser.cmi Ocamlc src/kernel_internals/parsing/cparser.cmi Ocamlc src/plugins/aorai/yaparser.cmi Ocamlc src/plugins/aorai/ltlparser.cmi Ocamlc src/plugins/aorai/promelaparser.cmi Ocamlc src/plugins/aorai/promelaparser_withexps.cmi Ocamlc src/kernel_services/analysis/wto_statement.cmi Ocamlc src/kernel_services/abstract_interp/lattice_type.cmi Ocamlc src/kernel_services/abstract_interp/int_Base.cmi Ocamlopt src/kernel_services/plugin_entry_points/log.cmx Ocamlopt src/kernel_internals/runtime/config.cmx Ocamlopt src/libraries/datatype/descr.cmx Ocamlc src/kernel_services/ast_printing/printer_builder.cmi Ocamlc src/kernel_services/ast_printing/cil_printer.cmi Ocamlc src/libraries/utils/rangemap.cmi Ocamlc src/kernel_services/ast_printing/cprint.cmi Ocamlopt src/plugins/aorai/ltlparser.cmx Ocamlc src/kernel_internals/typing/frontc.cmi Ocamlc src/plugins/callgraph/journalize.cmo Ocamlc src/kernel_services/analysis/service_graph.cmi Ocamlopt src/plugins/gui/warning_manager.cmx Ocamlc src/plugins/gui/gui_printers.cmi Ocamlc src/libraries/project/state.cmi Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmi Ocamlc src/kernel_services/ast_queries/logic_typing.cmi Ocamlc src/plugins/aorai/promelaoutput.cmi Ocamlc src/plugins/aorai/logic_simplification.cmi Ocamlc src/kernel_internals/parsing/logic_lexer.cmi Ocamlc src/kernel_internals/parsing/clexer.cmi Ocamlc src/kernel_services/ast_data/ast.cmi Ocamlc src/plugins/aorai/ltlparser.cmo Ocamlc src/plugins/aorai/ltllexer.cmo Ocamlc src/plugins/aorai/yalexer.cmo Ocamlc src/kernel_services/analysis/dataflow2.cmi Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmi Ocamlc src/kernel_services/abstract_interp/origin.cmi Ocamlc src/kernel_services/ast_data/property.cmi Ocamlc src/kernel_services/abstract_interp/bottom.cmi Ocamlopt src/kernel_services/cmdline_parameters/cmdline.cmx Ocamlc src/libraries/project/state_dependency_graph.cmi Ocamlc src/libraries/project/state_topological.cmi Ocamlopt src/kernel_services/parsetree/cabs.cmx Ocamlopt src/kernel_services/ast_printing/printer_builder.cmx Ocamlc src/kernel_services/parsetree/cabshelper.cmi Ocamlc src/kernel_services/ast_printing/description.cmi Ocamlc src/kernel_internals/runtime/messages.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmi Ocamlc src/libraries/project/state_selection.cmi Ocamlc src/libraries/utils/hptmap_sig.cmi Ocamlc src/kernel_services/ast_data/globals.cmi Ocamlc src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi Ocamlopt src/libraries/utils/binary_cache.cmx Ocamlopt src/plugins/aorai/ltllexer.cmx Ocamlopt src/libraries/project/project_skeleton.cmx Ocamlc src/libraries/project/project.cmi Ocamlc src/libraries/utils/hptmap.cmi Ocamlopt src/libraries/datatype/datatype.cmx Ocamlc src/plugins/slicing/slicingTransform.cmi Ocamlc src/libraries/project/state_builder.cmi Ocamlc src/kernel_services/ast_transformations/filter.cmi Ocamlc src/libraries/utils/hptset.cmi Ocamlc src/kernel_services/ast_queries/logic_env.cmi Ocamlc src/kernel_services/plugin_entry_points/emitter.cmi Ocamlc src/kernel_services/ast_queries/cil_const.cmi Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmi Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmi Ocamlc src/kernel_services/ast_queries/cil_datatype.cmi Ocamlc src/kernel_services/ast_data/annotations.cmi Ocamlc src/kernel_services/ast_data/property_status.cmi Ocamlc src/kernel_services/analysis/bit_utils.cmi Ocamlc src/kernel_services/abstract_interp/fval.cmi Ocamlc src/kernel_services/ast_data/alarms.cmi Ocamlc src/plugins/gui/gtk_helper.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_sig.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmi Ocamlc src/kernel_services/ast_data/kernel_function.cmi Ocamlc src/kernel_services/ast_queries/cil.cmi Ocamlc src/kernel_services/ast_queries/logic_const.cmi Ocamlc src/kernel_internals/typing/cabs2cil.cmi Ocamlc src/plugins/aorai/data_for_aorai.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmi Ocamlc src/kernel_services/abstract_interp/ival.cmi Ocamlopt src/libraries/project/state.cmx Ocamlopt src/kernel_services/plugin_entry_points/journal.cmx Ocamlopt src/kernel_services/cmdline_parameters/typed_parameter.cmx Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmi Ocamlopt src/libraries/utils/rangemap.cmx Ocamlc src/kernel_services/visitors/cabsvisit.cmi Ocamlopt src/kernel_services/abstract_interp/bottom.cmx Ocamlc src/kernel_services/analysis/stmts_graph.cmi Ocamlc src/plugins/pdg/ctrlDpds.cmi Ocamlc src/kernel_services/analysis/dataflows.cmi Ocamlc src/plugins/callgraph/callgraph_api.cmi Ocamlc src/plugins/gui/pretty_source.cmi Ocamlc src/plugins/gui/menu_manager.cmi Ocamlc src/kernel_services/ast_data/statuses_by_call.cmi Ocamlc src/plugins/gui/launcher.cmi Ocamlc src/kernel_services/plugin_entry_points/plugin.cmi Ocamlc src/kernel_services/ast_queries/logic_utils.cmi Ocamlc src/kernel_services/visitors/visitor.cmi Ocamlc src/plugins/aorai/aorai_utils.cmi Ocamlc src/kernel_services/abstract_interp/int_Intervals_sig.cmi Ocamlopt src/libraries/project/state_dependency_graph.cmx Ocamlopt src/libraries/project/state_topological.cmx Ocamlopt src/kernel_services/plugin_entry_points/dynamic.cmx Ocamlc src/plugins/slicing/slicingParameters.cmi Ocamlc src/plugins/pdg/pdg_parameters.cmi Ocamlc src/plugins/callgraph/options.cmi Ocamlc src/plugins/callgraph/cg.cmi Ocamlc src/plugins/callgraph/services.cmi Ocamlc src/plugins/gui/gui_parameters.cmi Ocamlc src/plugins/gui/source_manager.cmi Ocamlc src/plugins/gui/history.cmi Ocamlc src/plugins/slicing/slicingParameters.cmo Ocamlc src/kernel_services/plugin_entry_points/kernel.cmi Ocamlc src/plugins/aorai/aorai_option.cmi Ocamlc src/kernel_services/ast_queries/filecheck.cmi Ocamlc src/kernel_services/ast_queries/file.cmi Ocamlc src/kernel_services/abstract_interp/base.cmi Ocamlopt src/libraries/project/state_selection.cmx Ocamlopt src/kernel_services/cmdline_parameters/parameter_category.cmx Ocamlc src/kernel_internals/parsing/lexerhack.cmo Ocamlc src/kernel_services/abstract_interp/tr_offset.cmi Ocamlc src/kernel_services/abstract_interp/map_Lattice.cmo Ocamlc src/plugins/pdg/pdg_parameters.cmo Ocamlc src/plugins/callgraph/options.cmo Ocamlc src/plugins/callgraph/services.cmo Ocamlc src/plugins/callgraph/uses.cmi Ocamlc src/plugins/gui/design.cmi Ocamlc src/plugins/aorai/aorai_option.cmo Ocamlc src/plugins/aorai/path_analysis.cmo Ocamlc src/plugins/aorai/promelaoutput.cmo Ocamlc src/plugins/aorai/logic_simplification.cmo Ocamlc src/plugins/aorai/utils_parser.cmo Ocamlc src/plugins/aorai/yaparser.cmo Ocamlc src/plugins/aorai/promelaparser.cmo Ocamlc src/plugins/aorai/promelalexer.cmo Ocamlc src/plugins/aorai/promelaparser_withexps.cmo Ocamlc src/plugins/aorai/promelalexer_withexps.cmo Ocamlc src/plugins/aorai/aorai_dataflow.cmo Ocamlc src/plugins/aorai/aorai_visitors.cmo Ocamlc src/kernel_services/abstract_interp/offsetmap_sig.cmi Ocamlc src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi Ocamlopt src/libraries/project/project.cmx Ocamlc src/plugins/callgraph/uses.cmo Ocamlc src/plugins/aorai/data_for_aorai.cmo Ocamlc src/plugins/aorai/aorai_utils.cmo Ocamlc src/kernel_services/abstract_interp/offsetmap.cmi Ocamlopt src/libraries/project/state_builder.cmx Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmi Ocamlc src/kernel_services/abstract_interp/locations.cmi Ocamlc src/plugins/value_types/precise_locs.cmi Ocamlc src/plugins/pdg_types/pdgIndex.cmi Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmi Ocamlc src/kernel_services/abstract_interp/lmap_sig.cmi Ocamlc src/plugins/value_types/inout_type.cmi Ocamlopt src/libraries/utils/hptmap.cmx Ocamlc src/kernel_services/abstract_interp/lmap.cmi Ocamlc src/plugins/value_types/cvalue.cmi Ocamlc src/plugins/value_types/function_Froms.cmi Ocamlc src/plugins/pdg_types/pdgTypes.cmi Ocamlc src/plugins/value_types/value_types.cmi Ocamlc src/plugins/pdg/pdg_state.cmi Ocamlc src/plugins/pdg_types/pdgMarks.cmi Ocamlc src/plugins/pdg/build.cmi Ocamlc src/plugins/pdg/sets.cmi Ocamlc src/plugins/pdg/annot.cmi Ocamlopt src/libraries/utils/hptset.cmx Ocamlc src/plugins/pdg/pdg_state.cmo Ocamlc src/plugins/pdg/marks.cmi Ocamlc src/plugins/slicing_types/slicingInternals.cmo Ocamlopt src/kernel_services/ast_queries/cil_datatype.cmx Ocamlc src/plugins/slicing_types/slicingTypes.cmo Ocamlc src/plugins/slicing/printSlice.cmi Ocamlc src/plugins/slicing/fct_slice.cmi Ocamlc src/plugins/slicing/slicingProject.cmi Ocamlc src/kernel_services/plugin_entry_points/db.cmi Ocamlc src/plugins/slicing/slicingState.cmi Ocamlc src/plugins/slicing/slicingMarks.cmi Ocamlc src/plugins/slicing/slicingMarks.cmo Ocamlc src/plugins/slicing/slicingMacros.cmi Ocamlc src/plugins/aorai/aorai_register.cmo Ocamlc src/plugins/slicing/slicingActions.cmi Ocamlc src/plugins/pdg/ctrlDpds.cmo Ocamlc src/plugins/pdg/build.cmo Ocamlc src/plugins/pdg/sets.cmo Ocamlc src/plugins/pdg/annot.cmo Ocamlc src/plugins/pdg/marks.cmo Ocamlc src/plugins/callgraph/cg.cmo Ocamlc src/plugins/callgraph/register.cmo Ocamlc src/plugins/slicing/slicingCmds.cmi Ocamlc src/plugins/slicing/slicingState.cmo Ocamlc src/plugins/slicing/slicingMacros.cmo Ocamlc src/plugins/slicing/slicingActions.cmo Ocamlc src/plugins/slicing/printSlice.cmo Ocamlc src/plugins/slicing/slicingProject.cmo Ocamlc src/plugins/slicing/slicingTransform.cmo Ocamlc /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Aorai.cmi Ocamlopt src/kernel_services/cmdline_parameters/parameter_customize.cmx Ocamlopt src/kernel_services/ast_queries/cil_state_builder.cmx Ocamlc /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.cmi Ocamlc src/plugins/slicing/register.cmo Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.cmi Ocamlopt src/kernel_services/cmdline_parameters/parameter_state.cmx Packing /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.cmo Ocamlc src/plugins/pdg/register.cmo Ocamlc src/plugins/slicing/slicingCmds.cmo Generating META.frama-c-e_acsl Ocamlc src/plugins/e-acsl/options.cmi Ocamlc src/plugins/e-acsl/local_config.cmi Ocamlc src/plugins/e-acsl/rte.cmi Ocamlc src/plugins/e-acsl/error.cmi Ocamlc src/plugins/e-acsl/builtins.cmi Ocamlc src/plugins/e-acsl/misc.cmi Ocamlc src/plugins/e-acsl/gmpz.cmi Ocamlc src/plugins/e-acsl/literal_strings.cmi Ocamlc src/kernel_services/analysis/dataflow.cmi Ocamlc src/plugins/e-acsl/mmodel_analysis.cmi Ocamlc src/plugins/e-acsl/prepare_ast.cmi Ocamlc src/plugins/e-acsl/dup_functions.cmi Ocamlc src/plugins/e-acsl/exit_points.cmi Ocamlc src/plugins/e-acsl/label.cmi Ocamlc src/plugins/e-acsl/env.cmi Ocamlc src/plugins/e-acsl/interval.cmi Ocamlc src/plugins/e-acsl/typing.cmi Ocamlc src/plugins/e-acsl/visit.cmi Ocamlopt src/kernel_services/cmdline_parameters/parameter_builder.cmx Ocamlc /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.cmi Ocamlc src/plugins/e-acsl/local_config.cmo Ocamlc src/plugins/e-acsl/options.cmo Ocamlc src/plugins/e-acsl/rte.cmo Ocamlc src/plugins/e-acsl/error.cmo Ocamlc src/plugins/e-acsl/builtins.cmo Ocamlc src/plugins/e-acsl/misc.cmo Ocamlc src/plugins/e-acsl/gmpz.cmo Ocamlc src/plugins/e-acsl/literal_strings.cmo Ocamlc src/plugins/e-acsl/mmodel_analysis.cmo Ocamlc src/plugins/e-acsl/exit_points.cmo Ocamlc src/plugins/e-acsl/prepare_ast.cmo Ocamlc src/plugins/e-acsl/dup_functions.cmo Ocamlc src/plugins/e-acsl/label.cmo Ocamlc src/plugins/e-acsl/env.cmo Ocamlc src/plugins/e-acsl/interval.cmo Ocamlc src/plugins/e-acsl/typing.cmo Ocamlc src/plugins/e-acsl/quantif.cmi Ocamlc src/plugins/e-acsl/loops.cmi Ocamlc src/plugins/e-acsl/translate.cmi Ocamlopt src/kernel_services/plugin_entry_points/plugin.cmx Ocamlc src/plugins/slicing/fct_slice.cmo Ocamlc src/plugins/e-acsl/quantif.cmo Ocamlc src/plugins/e-acsl/translate.cmo Ocamlc src/plugins/e-acsl/loops.cmo Ocamlc src/plugins/e-acsl/visit.cmo Ocamlc src/plugins/e-acsl/main.cmo Ocamlopt src/kernel_services/plugin_entry_points/kernel.cmx Ocamlopt src/plugins/slicing/slicingParameters.cmx Ocamlopt src/plugins/gui/gui_parameters.cmx Ocamlc /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.cmi Ocamlc /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/E_ACSL.cmi Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.cmi Ocamlopt src/kernel_services/plugin_entry_points/emitter.cmx Ocamlopt src/kernel_services/ast_queries/cil_const.cmx Ocamlopt src/kernel_internals/typing/alpha.cmx Ocamlopt src/libraries/utils/floating_point.cmx Ocamlopt src/kernel_internals/parsing/errorloc.cmx Ocamlopt src/kernel_internals/parsing/lexerhack.cmx Ocamlopt src/kernel_services/abstract_interp/lattice_messages.cmx Ocamlopt src/libraries/utils/unicode.cmx Ocamlopt src/libraries/utils/cilconfig.cmx Ocamlopt src/plugins/gui/source_viewer.cmx Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.cmi Ocamlopt src/plugins/aorai/aorai_option.cmx Ocamlopt src/kernel_services/ast_queries/logic_env.cmx Packing /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/E_ACSL.cmo Ocamlopt src/kernel_services/abstract_interp/abstract_interp.cmx Ocamlopt src/plugins/aorai/path_analysis.cmx Generating META.frama-c-loopanalysis Ocamlc src/plugins/loop_analysis/options.cmi Ocamlc src/plugins/loop_analysis/region_analysis_sig.cmo Ocamlc src/kernel_services/analysis/dominators.cmi Ocamlc src/plugins/loop_analysis/loop_analysis.cmi Ocamlc src/kernel_services/analysis/loop.cmi Ocamlopt src/kernel_services/ast_queries/logic_const.cmx Ocamlc src/plugins/loop_analysis/options.cmo Ocamlc src/plugins/loop_analysis/region_analysis.cmi Ocamlopt src/kernel_services/abstract_interp/int_Base.cmx Ocamlopt src/kernel_services/abstract_interp/fval.cmx Ocamlc src/plugins/loop_analysis/region_analysis.cmo Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmi Ocamlopt src/kernel_services/ast_queries/cil.cmx Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmo Ocamlc src/plugins/loop_analysis/loop_analysis.cmo Ocamlc src/plugins/loop_analysis/slevel_analysis.cmo Ocamlopt src/kernel_services/abstract_interp/ival.cmx Ocamlc src/plugins/loop_analysis/register.cmo Ocamlc /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.cmi Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.cmi Packing /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.cmo Generating META.frama-c-nonterm Ocamlc src/plugins/nonterm/nonterm_run.cmo Ocamlc /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.cmi Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.cmi Packing /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.cmo Ocamlc src/plugins/obfuscator/options.cmi Ocamlc src/plugins/obfuscator/obfuscator_kind.cmi Generating META.frama-c-obfuscator Ocamlc src/plugins/obfuscator/obfuscate.cmi Ocamlc src/plugins/obfuscator/obfuscator_kind.cmo Ocamlc src/plugins/obfuscator/dictionary.cmi Ocamlc src/plugins/obfuscator/options.cmo Ocamlc src/plugins/obfuscator/dictionary.cmo Ocamlc src/plugins/obfuscator/obfuscate.cmo Ocamlc src/plugins/obfuscator/obfuscator_register.cmo Ocamlopt src/kernel_services/ast_printing/cil_printer.cmx Ocamlopt src/kernel_services/parsetree/cabshelper.cmx Ocamlopt src/kernel_services/ast_queries/ast_info.cmx Ocamlopt src/plugins/aorai/utils_parser.cmx Ocamlopt src/kernel_services/abstract_interp/origin.cmx Ocamlc /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.cmi Ocamlopt src/kernel_services/visitors/cabsvisit.cmx Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.cmi Packing /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.cmo Generating META.frama-c-print_api Ocamlc src/plugins/print_api/grammar.cmi Ocamlc src/plugins/print_api/lexer.cmo Ocamlc src/plugins/print_api/grammar.cmo Ocamlc src/plugins/print_api/print_interface.cmo Ocamlc /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Print_api.cmi Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.cmi Packing /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.cmo Ocamlc src/plugins/report/report_parameters.cmi Generating META.frama-c-report Ocamlc src/plugins/report/scan.cmi Ocamlc src/plugins/report/csv.cmi Ocamlc src/plugins/report/register.cmi Ocamlc src/plugins/report/dump.cmi Ocamlc src/plugins/report/report_parameters.cmo Ocamlc src/plugins/report/scan.cmo Ocamlc src/plugins/report/csv.cmo Ocamlopt src/kernel_services/ast_queries/logic_utils.cmx Ocamlopt src/kernel_services/ast_data/ast.cmx Ocamlopt src/kernel_services/ast_printing/logic_print.cmx Ocamlopt src/kernel_services/ast_printing/cil_descriptive_printer.cmx Ocamlopt src/kernel_services/analysis/undefined_sequence.cmx Ocamlopt src/kernel_internals/typing/rmtmps.cmx Ocamlopt src/kernel_services/abstract_interp/map_Lattice.cmx Ocamlopt src/kernel_internals/runtime/messages.cmx Ocamlc src/plugins/report/dump.cmo Ocamlc src/plugins/report/register.cmo Ocamlopt src/kernel_internals/parsing/logic_parser.cmx Ocamlopt src/kernel_services/ast_printing/cprint.cmx Ocamlopt src/kernel_internals/typing/oneret.cmx Ocamlopt src/kernel_internals/typing/logic_builtin.cmx Ocamlc /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Report.cmi Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.cmi Packing /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Report.cmo Ocamlopt src/kernel_internals/parsing/logic_lexer.cmx Generating META.frama-c-security_slicing Ocamlc src/plugins/security_slicing/security_slicing_parameters.cmi Ocamlc src/plugins/security_slicing/components.cmi Ocamlopt src/kernel_services/ast_queries/logic_typing.cmx Ocamlopt src/kernel_internals/parsing/cparser.cmx Ocamlc src/plugins/security_slicing/security_slicing_parameters.cmo Ocamlc src/plugins/security_slicing/components.cmo Ocamlc /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.cmi Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.cmi Packing /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.cmo Ocamlopt src/kernel_internals/parsing/clexer.cmx Generating META.frama-c-variadic Ocamlc src/plugins/variadic/options.cmi Ocamlc src/plugins/variadic/extends.cmi Ocamlc src/plugins/variadic/va_build.cmo Ocamlc src/plugins/variadic/environment.cmo Ocamlc src/plugins/variadic/format_types.cmi Ocamlopt src/kernel_internals/parsing/logic_preprocess.cmx Ocamlc src/plugins/variadic/options.cmo Ocamlc src/plugins/variadic/extends.cmo Ocamlc src/plugins/variadic/format_pprint.cmi Ocamlc src/plugins/variadic/format_parser.cmi Ocamlc src/plugins/variadic/format_typer.cmi Ocamlc src/plugins/variadic/generic.cmo Ocamlc src/plugins/variadic/va_types.cmi Ocamlopt src/kernel_services/ast_data/globals.cmx Ocamlopt src/kernel_internals/typing/cabs2cil.cmx Ocamlc src/plugins/variadic/format_pprint.cmo Ocamlc src/plugins/variadic/format_typer.cmo Ocamlc src/plugins/variadic/format_parser.cmo Ocamlc src/plugins/variadic/standard.cmo Ocamlc src/plugins/variadic/classify.cmo Ocamlc src/plugins/variadic/translate.cmo Ocamlc src/plugins/variadic/register.cmo Ocamlc /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Variadic.cmi Generating /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.cmi Packing /tmp/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.cmo Generating META.frama-c-wp Ocamlc src/plugins/wp/wprop.cmi Ocamlc src/plugins/wp/rformat.cmi Ocamlc src/plugins/wp/wp_parameters.cmi Ocamlc src/plugins/wp/wp_error.cmi Ocamlc src/plugins/wp/dyncall.cmi Compiling Qed (byte) Ocamlc src/plugins/wp/clabels.cmi Ocamlc src/plugins/wp/Separation.cmi Ocamlc src/plugins/wp/normAtLabels.cmi Ocamlc src/libraries/utils/bag.cmi Ocamlc src/plugins/wp/Context.cmi Ocamlc src/plugins/wp/Warning.cmi Ocamlc src/plugins/wp/Model.cmi Ocamlc src/plugins/wp/VCS.cmi Ocamlc src/plugins/wp/script.cmi Ocamlc src/plugins/wp/wpReport.cmi File "src/plugins/wp/qed/src/numbers.mll", line 131, characters 18-19: Error: This expression has type string but an expression was expected of type bytes gmake[1]: *** [MakeOcaml:35: numbers.cmo] Error 2 gmake[1]: *** Waiting for unfinished jobs.... Ocamlc src/libraries/utils/vector.cmi Ocamlc src/libraries/utils/json.cmi Ocamlc src/plugins/wp/why3_xml.cmi gmake: *** [src/plugins/wp/Makefile:277: src/plugins/wp/qed/bin/Qed.cmo] Error 2 gmake: *** Waiting for unfinished jobs.... *** Error code 2 Stop. make[1]: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c *** Error code 1 Stop. make: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c