insure++.report_file insra

insure++.compiler_cpp g++
insure++.compiler_default cpp
insure++.report_limit -1
insure++.stack_limit -1
insure++.symbol_table on
insure++.stack_internal off
insure++.free_trace -1
insure++.malloc_trace -1
insure++.pointer_slack 0

insure++.symbol_banner on
insure++.symbol_sizes on
insure++.symbol_sizes_ignore off

#insure++.trace on
#insure++.trace_file /home/schuhegger/SLiC/log/insuretrace.log

#insure++.static_linking on


insure++.inuse off
