Home
last modified time | relevance | path

Searched refs:print_failed (Results 1 – 7 of 7) sorted by relevance

/dports/math/yices/yices-2.6.2/src/io/
H A Dwriter.c39 writer->print_failed = true; in init_file_writer()
43 writer->print_failed = false; in init_file_writer()
59 writer->print_failed = false; in init_stream_writer()
70 writer->print_failed = false; in init_string_writer()
90 writer->print_failed = true; in close_writer()
138 if (!writer->print_failed) { in writer_putc()
141 writer->print_failed = true; in writer_putc()
154 if (!writer->print_failed) { in writer_puts()
157 writer->print_failed = true; in writer_puts()
170 if (!writer->print_failed) { in writer_flush()
[all …]
H A Dtracer.c76 tracer->print_failed = false; in set_trace_file()
125 if (tracer != NULL && level <= tracer->vlevel && !tracer->print_failed) { in trace_printf()
132 tracer->print_failed = true; in trace_printf()
142 if (tracer != NULL && level <= tracer->vlevel && !tracer->print_failed) { in trace_puts()
145 tracer->print_failed = true; in trace_puts()
155 if (tracer != NULL && level <= tracer->vlevel && !tracer->print_failed) { in trace_newline()
158 tracer->print_failed = true; in trace_newline()
171 if (tracer != NULL && level <= tracer->vlevel && !tracer->print_failed) { in trace_pp_term()
176 tracer->print_failed = true; in trace_pp_term()
189 if (tracer != NULL && level <= tracer->vlevel && !tracer->print_failed) { in trace_pp_type()
[all …]
H A Dwriter.h45 bool print_failed; member
138 return writer->print_failed; in writer_failed()
H A Dtracer.h46 bool print_failed; // true if printing fails member
59 tracer->print_failed = false; in init_trace()
/dports/math/yices/yices-2.6.2/src/mcsat/
H A Dtracing.c93 if (tracer != NULL && !tracer->print_failed) { in mcsat_trace_printf()
100 tracer->print_failed = true; in mcsat_trace_printf()
111 if (ctx->tracer != NULL && !ctx->tracer->print_failed) { in ctx_trace_printf()
118 ctx->tracer->print_failed = true; in ctx_trace_printf()
/dports/devel/codeville/codeville-0.1.18/Codeville/
H A Dtesttest.py38 print_failed(failed)
54 print_failed(failed)
72 def print_failed(failed): function
/dports/security/rhash/RHash-1.4.2/tests/
H A Dtest_rhash.sh103 print_failed() { function
115 print_failed "$3"
139 print_failed "$3"
331 test -f none-existent.file && print_failed .