sandbox-4.log

sandbox-4.log (text/plain), 3.56 KB, created by Toralf Förster on 2019-07-15 18:20:04 UTC

VERSION 1.0
FORMAT: F - Function called
FORMAT: S - Access Status
FORMAT: P - Path as passed to function
FORMAT: A - Absolute Path (not canonical)
FORMAT: R - Canonical Path
FORMAT: C - Command Line

F: mkostemp
S: deny
P: /usr/include/cvc4/sedXXXXXX
A: /usr/include/cvc4/sedXXXXXX
R: /usr/include/cvc4/sedXXXXXX
C: sed -i s/include.*"\(.*\)"/include <cvc4\/\1>/ /usr/include/cvc4/cvc4.h /usr/include/cvc4/cvc4_public.h /usr/include/cvc4/util/integer.h /usr/include/cvc4/util/rational.h /usr/include/cvc4/util/floatingpoint.h /usr/include/cvc4/util/statistics.h /usr/include/cvc4/util/rational_gmp_imp.h /usr/include/cvc4/util/bool.h /usr/include/cvc4/util/maybe.h /usr/include/cvc4/util/rational_cln_imp.h /usr/include/cvc4/util/result.h /usr/include/cvc4/util/regexp.h /usr/include/cvc4/util/unsafe_interrupt_exception.h /usr/include/cvc4/util/integer_gmp_imp.h /usr/include/cvc4/util/proof.h /usr/include/cvc4/util/integer_cln_imp.h /usr/include/cvc4/util/gmp_util.h /usr/include/cvc4/util/sexpr.h /usr/include/cvc4/util/divisible.h /usr/include/cvc4/util/tuple.h /usr/include/cvc4/util/channel.h /usr/include/cvc4/util/hash.h /usr/include/cvc4/util/cardinality.h /usr/include/cvc4/util/bitvector.h /usr/include/cvc4/util/resource_manager.h /usr/include/cvc4/util/abstract_value.h /usr/include/cvc4/expr/expr_manager.h /usr/include/cvc4/expr/expr.h /usr/include/cvc4/expr/kind.h /usr/include/cvc4/expr/ascription_type.h /usr/include/cvc4/expr/record.h /usr/include/cvc4/expr/array.h /usr/include/cvc4/expr/chain.h /usr/include/cvc4/expr/expr_stream.h /usr/include/cvc4/expr/expr_iomanip.h /usr/include/cvc4/expr/array_store_all.h /usr/include/cvc4/expr/pickler.h /usr/include/cvc4/expr/uninterpreted_constant.h /usr/include/cvc4/expr/variable_type_map.h /usr/include/cvc4/expr/emptyset.h /usr/include/cvc4/expr/type.h /usr/include/cvc4/expr/datatype.h /usr/include/cvc4/expr/symbol_table.h /usr/include/cvc4/base/modal_exception.h /usr/include/cvc4/base/configuration.h /usr/include/cvc4/base/tls.h /usr/include/cvc4/base/exception.h /usr/include/cvc4/base/listener.h /usr/include/cvc4/bindings/compat/c/c_interface_defs.h /usr/include/cvc4/bindings/compat/c/c_interface.h /usr/include/cvc4/compat/cvc3_compat.h /usr/include/cvc4/context/cdinsert_hashmap_forward.h /usr/include/cvc4/context/cdhashset_forward.h /usr/include/cvc4/context/cdtrail_hashmap_forward.h /usr/include/cvc4/context/cdlist_forward.h /usr/include/cvc4/context/cdhashmap_forward.h /usr/include/cvc4/cvc4parser_public.h /usr/include/cvc4/options/datatypes_modes.h /usr/include/cvc4/options/arith_unate_lemma_mode.h /usr/include/cvc4/options/option_exception.h /usr/include/cvc4/options/theoryof_mode.h /usr/include/cvc4/options/quantifiers_modes.h /usr/include/cvc4/options/sygus_out_mode.h /usr/include/cvc4/options/simplification_mode.h /usr/include/cvc4/options/printer_modes.h /usr/include/cvc4/options/set_language.h /usr/include/cvc4/options/arith_propagation_mode.h /usr/include/cvc4/options/options.h /usr/include/cvc4/options/argument_extender.h /usr/include/cvc4/options/arith_heuristic_pivot_rule.h /usr/include/cvc4/options/language.h /usr/include/cvc4/parser/parser_builder.h /usr/include/cvc4/parser/parser_exception.h /usr/include/cvc4/parser/input.h /usr/include/cvc4/parser/parser.h /usr/include/cvc4/printer/sygus_print_callback.h /usr/include/cvc4/proof/unsat_core.h /usr/include/cvc4/smt/command.h /usr/include/cvc4/smt/smt_engine.h /usr/include/cvc4/smt/logic_exception.h /usr/include/cvc4/smt_util/lemma_input_channel.h /usr/include/cvc4/smt_util/lemma_channels.h /usr/include/cvc4/smt_util/lemma_output_channel.h /usr/include/cvc4/theory/logic_info.h