Home
last modified time | relevance | path

Searched refs:PRIu32 (Results 1 – 25 of 3800) sorted by relevance

12345678910>>...152

/dports/math/yices/yices-2.6.2/src/context/
H A Dcontext_statistics.c44 fprintf(f, " restarts : %"PRIu32"\n", stat->restarts); in show_stats()
46 fprintf(f, " reduce db : %"PRIu32"\n", stat->reduce_calls); in show_stats()
47 fprintf(f, " remove irrelevant : %"PRIu32"\n", stat->remove_calls); in show_stats()
52 fprintf(f, " theory propagations : %"PRIu32"\n", stat->th_props); in show_stats()
71 fprintf(f, " eq from simplex : %"PRIu32"\n", stat->eq_props); in show_egraph_stats()
73 fprintf(f, " prop. to core : %"PRIu32"\n", stat->th_props); in show_egraph_stats()
75 fprintf(f, " non-distinct lemmas : %"PRIu32"\n", stat->nd_lemmas); in show_egraph_stats()
76 fprintf(f, " auxiliary eqs. created : %"PRIu32"\n", stat->aux_eqs); in show_egraph_stats()
109 fprintf(f, " rows in init. tableau : %"PRIu32"\n", stat->num_rows); in show_simplex_stats()
172 fprintf(f, "boolean variables : %"PRIu32"\n", core->nvars); in yices_print_presearch_stats()
[all …]
/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_bit_tricks.c124 printf("naive_ctz(%"PRIu32") = %"PRIu32"\n", n, naive_ctz(n)); in main()
130 printf("__builtin_ctz(%"PRIu32") = %"PRIu32"\n", n, ctz(n)); in main()
148 printf("naive_clz(%"PRIu32") = %"PRIu32"\n", n, naive_clz(n)); in main()
154 printf("__builtin_clz(%"PRIu32") = %"PRIu32"\n", n, clz(n)); in main()
162 printf("binlog(%"PRIu32") = %"PRIu32"\n", n, binlog(n)); in main()
163 printf("binlog(%"PRIu32") = %"PRIu32"\n", n+1, binlog(n+1)); in main()
169 printf("naive_popcount(%"PRIu32") = %"PRIu32"\n", n, naive_popcount32(n)); in main()
170 printf("builtin_popcount(%"PRIu32") = %"PRIu32"\n", n, popcount32(n)); in main()
185 printf("naive_popcount(%"PRIu32") = %"PRIu32"\n", n, naive_popcount32(n)); in main()
186 printf("builtin_popcount(%"PRIu32") = %"PRIu32"\n", n, popcount32(n)); in main()
[all …]
H A Dtest_rba_buffers.c56 printf("tree not ordered at node %"PRIu32" (for left child %"PRIu32")\n", x, i); in is_ordered()
62 printf("tree not ordered at node %"PRIu32" (for right child = %"PRIu32")\n", x, j); in is_ordered()
157 printf(" left child = %"PRIu32", black height = %"PRIu32"\n", i, hi); in is_balanced()
158 printf(" right child = %"PRIu32", black height = %"PRIu32"\n", j, hj); in is_balanced()
213 printf("invalid tree: size = %"PRIu32", nterms = %"PRIu32"\n", s, b->nterms); in check_sizes()
220 printf("invalid free list: size = %"PRIu32", should be %"PRIu32"\n", in check_sizes()
389 printf("\nAfter %"PRIu32" additions\n", n); in run_tests()
406 printf("\nAfter %"PRIu32" removals\n", n); in run_tests()
421 printf("\nAfter %"PRIu32" additions\n", n); in run_tests()
443 printf("\nAfter %"PRIu32" additions\n", n); in run_tests()
[all …]
H A Dtest_large_bvsets.c41 printf(" size = %"PRIu32"\n", s->size); in print_bvset()
52 printf(" %"PRIu32, i); in print_bvset()
124 printf("get fresh: %"PRIu32", nelems = %"PRIu32"\n", x, set.nelems); in test1()
144 printf("get fresh: %"PRIu32", nelems = %"PRIu32"\n", x, set.nelems); in test1()
160 printf("get fresh: %"PRIu32", nelems = %"PRIu32"\n", x, set.nelems); in test1()
191 printf("get fresh: %"PRIu32", nelems = %"PRIu32"\n", x, set.nelems); in test2()
211 printf("get fresh: %"PRIu32", nelems = %"PRIu32"\n", x, set.nelems); in test2()
227 printf("get fresh: %"PRIu32", nelems = %"PRIu32"\n", x, set.nelems); in test2()
258 printf("get fresh: %"PRIu32", nelems = %"PRIu32"\n", x, set.nelems); in test3()
278 printf("get fresh: %"PRIu32", nelems = %"PRIu32"\n", x, set.nelems); in test3()
[all …]
/dports/math/yices/yices-2.6.2/src/api/
H A Dyices_error.c223 …code = fprintf(f, "invalid token (line %"PRIu32", column %"PRIu32")\n", error->line, error->column… in print_error()
227 …code = fprintf(f, "syntax error (line %"PRIu32", column %"PRIu32")\n", error->line, error->column); in print_error()
231 …code = fprintf(f, "undefined type name (line %"PRIu32", column %"PRIu32")\n", error->line, error->… in print_error()
235 …code = fprintf(f, "undefined term name (line %"PRIu32", column %"PRIu32")\n", error->line, error->… in print_error()
239 …code = fprintf(f, "cannot redefine type (line %"PRIu32", column %"PRIu32")\n", error->line, error-… in print_error()
243 …code = fprintf(f, "cannot redefine term (line %"PRIu32", column %"PRIu32")\n", error->line, error-… in print_error()
259 …code = fprintf(f, "integer required (line %"PRIu32", column %"PRIu32")\n", error->line, error->col… in print_error()
263 …code = fprintf(f, "numeric constant required (line %"PRIu32", column %"PRIu32")\n", error->line, e… in print_error()
267 …code = fprintf(f, "symbol required (line %"PRIu32", column %"PRIu32")\n", error->line, error->colu… in print_error()
271 …code = fprintf(f, "type required (line %"PRIu32", column %"PRIu32")\n", error->line, error->column… in print_error()
[all …]
/dports/www/firefox-esr/firefox-91.8.0/dom/media/
H A DMediaResource.cpp112 ") uncached read before cache: %" PRIu32 ", remaining: %" PRIu32 in ReadAt()
134 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") copied everything (%" PRIu32 in ReadAt()
135 ") from cache(%" PRIu32 "@%" PRId64 ") :-D -> OK, %" PRIu32, in ReadAt()
141 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") copied %" PRIu32 in ReadAt()
142 " from cache(%" PRIu32 "@%" PRId64 ") :-), remaining: %" PRIu32 in ReadAt()
198 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") read %" PRIu32 in ReadAt()
244 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - UncachedRangedReadAt(%" PRIu32 in CacheOrReadAt()
254 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - UncachedRangedReadAt(%" PRIu32 in CacheOrReadAt()
255 "..%" PRIu32 "@%" PRId64 ") to top-up succeeded to read %" PRIu32 in CacheOrReadAt()
272 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - copied %" PRIu32 "@%" PRId64 in CacheOrReadAt()
[all …]
/dports/lang/spidermonkey78/firefox-78.9.0/dom/media/
H A DMediaResource.cpp125 ") uncached read before cache: %" PRIu32 ", remaining: %" PRIu32 in ReadAt()
147 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") copied everything (%" PRIu32 in ReadAt()
148 ") from cache(%" PRIu32 "@%" PRId64 ") :-D -> OK, %" PRIu32, in ReadAt()
154 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") copied %" PRIu32 in ReadAt()
155 " from cache(%" PRIu32 "@%" PRId64 ") :-), remaining: %" PRIu32 in ReadAt()
211 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") read %" PRIu32 in ReadAt()
257 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - UncachedRangedReadAt(%" PRIu32 in CacheOrReadAt()
267 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - UncachedRangedReadAt(%" PRIu32 in CacheOrReadAt()
268 "..%" PRIu32 "@%" PRId64 ") to top-up succeeded to read %" PRIu32 in CacheOrReadAt()
285 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - copied %" PRIu32 "@%" PRId64 in CacheOrReadAt()
[all …]
/dports/www/firefox/firefox-99.0/dom/media/
H A DMediaResource.cpp112 ") uncached read before cache: %" PRIu32 ", remaining: %" PRIu32 in ReadAt()
134 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") copied everything (%" PRIu32 in ReadAt()
135 ") from cache(%" PRIu32 "@%" PRId64 ") :-D -> OK, %" PRIu32, in ReadAt()
141 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") copied %" PRIu32 in ReadAt()
142 " from cache(%" PRIu32 "@%" PRId64 ") :-), remaining: %" PRIu32 in ReadAt()
198 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") read %" PRIu32 in ReadAt()
244 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - UncachedRangedReadAt(%" PRIu32 in CacheOrReadAt()
254 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - UncachedRangedReadAt(%" PRIu32 in CacheOrReadAt()
255 "..%" PRIu32 "@%" PRId64 ") to top-up succeeded to read %" PRIu32 in CacheOrReadAt()
272 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - copied %" PRIu32 "@%" PRId64 in CacheOrReadAt()
[all …]
/dports/mail/thunderbird/thunderbird-91.8.0/dom/media/
H A DMediaResource.cpp112 ") uncached read before cache: %" PRIu32 ", remaining: %" PRIu32 in ReadAt()
134 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") copied everything (%" PRIu32 in ReadAt()
135 ") from cache(%" PRIu32 "@%" PRId64 ") :-D -> OK, %" PRIu32, in ReadAt()
141 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") copied %" PRIu32 in ReadAt()
142 " from cache(%" PRIu32 "@%" PRId64 ") :-), remaining: %" PRIu32 in ReadAt()
198 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") read %" PRIu32 in ReadAt()
244 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - UncachedRangedReadAt(%" PRIu32 in CacheOrReadAt()
254 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - UncachedRangedReadAt(%" PRIu32 in CacheOrReadAt()
255 "..%" PRIu32 "@%" PRId64 ") to top-up succeeded to read %" PRIu32 in CacheOrReadAt()
272 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - copied %" PRIu32 "@%" PRId64 in CacheOrReadAt()
[all …]
/dports/lang/spidermonkey60/firefox-60.9.0/dom/media/
H A DMediaResource.cpp129 ") uncached read before cache: %" PRIu32 ", remaining: %" PRIu32 in ReadAt()
151 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") copied everything (%" PRIu32 in ReadAt()
152 ") from cache(%" PRIu32 "@%" PRId64 ") :-D -> OK, %" PRIu32, in ReadAt()
158 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") copied %" PRIu32 in ReadAt()
159 " from cache(%" PRIu32 "@%" PRId64 ") :-), remaining: %" PRIu32 in ReadAt()
215 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") read %" PRIu32 in ReadAt()
261 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - UncachedRangedReadAt(%" PRIu32 in CacheOrReadAt()
271 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - UncachedRangedReadAt(%" PRIu32 in CacheOrReadAt()
272 "..%" PRIu32 "@%" PRId64 ") to top-up succeeded to read %" PRIu32 in CacheOrReadAt()
289 ILOG("ReadAt(%" PRIu32 "@%" PRId64 ") - copied %" PRIu32 "@%" PRId64 in CacheOrReadAt()
[all …]
/dports/sysutils/moosefs3-netdump/moosefs-3.0.116/mfsclient/
H A Dreaddata.c859 …syslog(LOG_WARNING,"file: %"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - t…
1082PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1156PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: write to (%s:%"PR…
1188 …%"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: poll error: %s …
1210PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read pipe error: …
1233PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1244PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1259PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1271PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read from (%s:%"P…
1363PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
[all …]
/dports/sysutils/moosefs3-chunkserver/moosefs-3.0.116/mfsclient/
H A Dreaddata.c859 …syslog(LOG_WARNING,"file: %"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - t…
1082PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1156PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: write to (%s:%"PR…
1188 …%"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: poll error: %s …
1210PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read pipe error: …
1233PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1244PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1259PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1271PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read from (%s:%"P…
1363PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
[all …]
/dports/sysutils/moosefs3-master/moosefs-3.0.116/mfsclient/
H A Dreaddata.c859 …syslog(LOG_WARNING,"file: %"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - t…
1082PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1156PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: write to (%s:%"PR…
1188 …%"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: poll error: %s …
1210PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read pipe error: …
1233PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1244PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1259PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1271PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read from (%s:%"P…
1363PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
[all …]
/dports/sysutils/moosefs3-client/moosefs-3.0.116/mfsclient/
H A Dreaddata.c859 …syslog(LOG_WARNING,"file: %"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - t…
1082PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1156PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: write to (%s:%"PR…
1188 …%"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: poll error: %s …
1210PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read pipe error: …
1233PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1244PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1259PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1271PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read from (%s:%"P…
1363PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
[all …]
/dports/sysutils/moosefs3-cgi/moosefs-3.0.116/mfsclient/
H A Dreaddata.c859 …syslog(LOG_WARNING,"file: %"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - t…
1082PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1156PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: write to (%s:%"PR…
1188 …%"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: poll error: %s …
1210PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read pipe error: …
1233PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1244PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1259PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1271PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read from (%s:%"P…
1363PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
[all …]
/dports/sysutils/moosefs3-cgiserv/moosefs-3.0.116/mfsclient/
H A Dreaddata.c859 …syslog(LOG_WARNING,"file: %"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - t…
1082PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1156PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: write to (%s:%"PR…
1188 …%"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: poll error: %s …
1210PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read pipe error: …
1233PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1244PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1259PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1271PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read from (%s:%"P…
1363PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
[all …]
/dports/sysutils/moosefs3-cli/moosefs-3.0.116/mfsclient/
H A Dreaddata.c859 …syslog(LOG_WARNING,"file: %"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - t…
1082PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1156PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: write to (%s:%"PR…
1188 …%"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: poll error: %s …
1210PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read pipe error: …
1233PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1244PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1259PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1271PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read from (%s:%"P…
1363PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
[all …]
/dports/sysutils/moosefs3-metalogger/moosefs-3.0.116/mfsclient/
H A Dreaddata.c859 …syslog(LOG_WARNING,"file: %"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - t…
1082PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1156PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: write to (%s:%"PR…
1188 …%"PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: poll error: %s …
1210PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read pipe error: …
1233PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1244PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1259PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
1271PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: read from (%s:%"P…
1363PRIu32", index: %"PRIu32", chunk: %016"PRIX64", version: %"PRIu32" - readworker: connection with (…
[all …]
/dports/math/yices/yices-2.6.2/src/frontend/
H A Dyices_smtcomp.c410 fprintf(f, "boolean variables : %"PRIu32"\n", core->nvars); in print_presearch_stats()
411 fprintf(f, "atoms : %"PRIu32"\n", core->atoms.natoms); in print_presearch_stats()
485 fprintf(f, " --bland-threshold=%"PRIu32, params.bland_threshold); in print_options()
497 fprintf(f, " --dyn-ack --max-ack=%"PRIu32" --dyn-ack-threshold=%"PRIu32, in print_options()
501 fprintf(f, " --dyn-bool-ack --max-bool-ack=%"PRIu32" --dyn-bool-ack-threshold=%"PRIu32, in print_options()
510 fprintf(f, "Array solver: --max-update-conflicts=%"PRIu32" --max-extensionality=%"PRIu32"\n", in print_options()
561 fprintf(stderr, " restarts : %"PRIu32"\n", stat->restarts); in show_stats()
568 fprintf(stderr, " theory propagations : %"PRIu32"\n", stat->th_props); in show_stats()
592 fprintf(stderr, " auxiliary eqs. created : %"PRIu32"\n", stat->aux_eqs); in show_egraph_stats()
702 fprintf(stderr, " boolean variables : %"PRIu32"\n", core->nvars); in print_results()
[all …]
/dports/biology/libbigwig/libBigWig-0.4.6/test/
H A DtestBigBed.c15 printf("fieldCount: %"PRIu32"\n", bb->hdr->fieldCount); in bwPrintHdr()
19 printf("bufSize: %"PRIu32"\n", bb->hdr->bufSize); in bwPrintHdr()
49 … printf(" %i\t%"PRIu32"\t%"PRIu32"\t%"PRIu32"\t%"PRIu32"\t0x%"PRIx64"\t%"PRIu64"\n", level,\ in bwPrintIndexNode()
57 printf(" %i\t%"PRIu32"\t%"PRIu32"\t%"PRIu32"\t%"PRIu32"\t0x%"PRIx64"\tNA\n", level,\ in bwPrintIndexNode()
72 printf("baseStart:\t%"PRIu32"\n", fp->idx->baseStart); in bwPrintIndexTree()
73 printf("chrIdxEnd:\t%"PRIu32"\n", fp->idx->chrIdxEnd); in bwPrintIndexTree()
74 printf("baseEnd:\t%"PRIu32"\n", fp->idx->baseEnd); in bwPrintIndexTree()
115 printf("%"PRIu32" entries overlap\n", o->l); in main()
117 printf("%"PRIu32"-%"PRIu32"\t %s\n", o->start[i], o->end[i], o->str[i]); in main()
123 printf("%"PRIu32" entries overlap\n", o->l); in main()
[all …]
/dports/sysutils/dupd/dupd-1.7/src/
H A Dstats.c140 printf("Total files seen: %" PRIu32 "\n", s_total_files_seen); in report_stats()
141 printf(" (too small: %" PRIu32 ", not file: %" in report_stats()
142 PRIu32 ", errors: %" PRIu32 ", skip: %" PRIu32 ", hl_skip: %" in report_stats()
143 PRIu32 ")\n", in report_stats()
147 printf("Files queued for processing: %" PRIu32 " in %" PRIu32 " sets\n", in report_stats()
151 printf(" (files with unique size: %" PRIu32 ")\n", unique_files); in report_stats()
154 printf(" Unique files: %" PRIu32 "\n", s_files_completed_unique); in report_stats()
155 printf(" Unable to read: %" PRIu32 "\n", s_files_cant_read); in report_stats()
157 printf(" Skipped hardlinks: %" PRIu32 "\n", s_files_hl_skip); in report_stats()
162 printf("error: mismatch files_accepted: %" PRIu32 in report_stats()
[all …]
/dports/net/freerdp/freerdp-2.5.0/winpr/libwinpr/wtsapi/test/
H A DTestWtsApiQuerySessionInformation.c35 printf("WTSEnumerateSessions failed: %" PRIu32 "\n", GetLastError()); in TestWtsApiQuerySessionInformation()
39 printf("WTSEnumerateSessions count: %" PRIu32 "\n", count); in TestWtsApiQuerySessionInformation()
59 printf("[%" PRIu32 "] SessionId: %" PRIu32 " State: %s (%u) WinstationName: '%s'\n", index, in TestWtsApiQuerySessionInformation()
84 printf("WTSQuerySessionInformation WTSDomainName failed: %" PRIu32 "\n", in TestWtsApiQuerySessionInformation()
99 printf("WTSQuerySessionInformation WTSConnectState failed: %" PRIu32 "\n", in TestWtsApiQuerySessionInformation()
120 printf("\tWTSClientBuildNumber: %" PRIu32 "\n", ClientBuildNumber); in TestWtsApiQuerySessionInformation()
129 printf("WTSQuerySessionInformation WTSClientName failed: %" PRIu32 "\n", in TestWtsApiQuerySessionInformation()
165 printf("\tWTSClientHardwareId: %" PRIu32 "\n", ClientHardwareId); in TestWtsApiQuerySessionInformation()
180 printf("\tWTSClientAddress: AddressFamily: %" PRIu32 " Address: ", in TestWtsApiQuerySessionInformation()
199 printf("\tWTSClientDisplay: HorizontalResolution: %" PRIu32 " VerticalResolution: %" PRIu32 in TestWtsApiQuerySessionInformation()
[all …]
/dports/net/freerdp/freerdp-2.5.0/winpr/libwinpr/pipe/test/
H A DTestPipeCreateNamedPipeOverlapped.c41 printf("client: failed to wait for server ready event: %" PRIu32 "\n", status); in named_pipe_client_thread()
50 printf("client: CreateEvent failure: %" PRIu32 "\n", GetLastError()); in named_pipe_client_thread()
62 printf("client: Named Pipe CreateFile failure: %" PRIu32 "\n", GetLastError()); in named_pipe_client_thread()
85 printf("client: failed to wait for overlapped event (write): %" PRIu32 "\n", status); in named_pipe_client_thread()
174 printf("server: CreateEvent failure: %" PRIu32 "\n", GetLastError()); in named_pipe_server_thread()
189 printf("server: CreateNamedPipe failure: %" PRIu32 "\n", GetLastError()); in named_pipe_server_thread()
223 printf("server: ConnectNamedPipe status: %" PRIu32 "\n", status); in named_pipe_server_thread()
238 printf("server: ConnectNamedPipe failed: %" PRIu32 "\n", status); in named_pipe_server_thread()
344 printf("CreateEvent failed: %" PRIu32 "\n", GetLastError()); in TestPipeCreateNamedPipeOverlapped()
349 printf("CreateThread (client) failed: %" PRIu32 "\n", GetLastError()); in TestPipeCreateNamedPipeOverlapped()
[all …]
/dports/sysutils/moosefs3-metalogger/moosefs-3.0.116/mfsmetatools/
H A Dmfsmetadump.c314 …%10"PRIu32"|#:%"PRIu8"|e:0x%02"PRIX8"|w:0x%1"PRIX8"|m:0%04"PRIo16"|u:%10"PRIu32"|g:%10"PRIu32"|a:%… in fs_loadnode()
317 …k:%c|i:%10"PRIu32"|#:%"PRIu8"|e:0x%02"PRIX8"|m:0%04"PRIo16"|u:%10"PRIu32"|g:%10"PRIu32"|a:%10"PRIu… in fs_loadnode()
323 printf("|d:%5"PRIu32",%5"PRIu32"\n",rdev>>16,rdev&0xFFFF); in fs_loadnode()
485 printf("FREEID|i:%10"PRIu32"|f:%10"PRIu32"\n",nodeid,ftime); in fs_loadfree()
532 …printf("QUOTA|i:%10"PRIu32"|g:%"PRIu32"|e:%c|f:0x%02"PRIX8"|s:%10"PRIu32,nodeid,graceperiod,(excee… in fs_loadquota()
798PRIu32"|e:#%"PRIu64"|p:%s|r:%10"PRIu32"|f:0x%02"PRIX8"|u:0%03"PRIo16"|g:%"PRIu8"-%"PRIu8"|t:%10"PR… in sessions_load()
800PRIu32"|e:#%"PRIu64"|p:%s|r:%10"PRIu32"|f:0x%02"PRIX8"|u:0%03"PRIo16"|g:%"PRIu8"-%"PRIu8"|t:%10"PR… in sessions_load()
802PRIu32"|e:#%"PRIu64"|p:%s|r:%10"PRIu32"|f:%02"PRIX8"|g:%"PRIu8"-%"PRIu8"|t:%10"PRIu32"-%10"PRIu32"… in sessions_load()
804 …0"PRIu32"|p:%s|r:%10"PRIu32"|f:%02"PRIX8"|g:%"PRIu8"-%"PRIu8"|t:%10"PRIu32"-%10"PRIu32"|m:%10"PRIu… in sessions_load()
806 …ON|s:%10"PRIu32"|p:%s|r:%10"PRIu32"|f:%02"PRIX8"|g:%"PRIu8"-%"PRIu8"|t:%10"PRIu32"-%10"PRIu32"|m:%… in sessions_load()
[all …]
/dports/sysutils/moosefs3-cli/moosefs-3.0.116/mfsmetatools/
H A Dmfsmetadump.c314 …%10"PRIu32"|#:%"PRIu8"|e:0x%02"PRIX8"|w:0x%1"PRIX8"|m:0%04"PRIo16"|u:%10"PRIu32"|g:%10"PRIu32"|a:%… in fs_loadnode()
317 …k:%c|i:%10"PRIu32"|#:%"PRIu8"|e:0x%02"PRIX8"|m:0%04"PRIo16"|u:%10"PRIu32"|g:%10"PRIu32"|a:%10"PRIu… in fs_loadnode()
323 printf("|d:%5"PRIu32",%5"PRIu32"\n",rdev>>16,rdev&0xFFFF); in fs_loadnode()
485 printf("FREEID|i:%10"PRIu32"|f:%10"PRIu32"\n",nodeid,ftime); in fs_loadfree()
532 …printf("QUOTA|i:%10"PRIu32"|g:%"PRIu32"|e:%c|f:0x%02"PRIX8"|s:%10"PRIu32,nodeid,graceperiod,(excee… in fs_loadquota()
798PRIu32"|e:#%"PRIu64"|p:%s|r:%10"PRIu32"|f:0x%02"PRIX8"|u:0%03"PRIo16"|g:%"PRIu8"-%"PRIu8"|t:%10"PR… in sessions_load()
800PRIu32"|e:#%"PRIu64"|p:%s|r:%10"PRIu32"|f:0x%02"PRIX8"|u:0%03"PRIo16"|g:%"PRIu8"-%"PRIu8"|t:%10"PR… in sessions_load()
802PRIu32"|e:#%"PRIu64"|p:%s|r:%10"PRIu32"|f:%02"PRIX8"|g:%"PRIu8"-%"PRIu8"|t:%10"PRIu32"-%10"PRIu32"… in sessions_load()
804 …0"PRIu32"|p:%s|r:%10"PRIu32"|f:%02"PRIX8"|g:%"PRIu8"-%"PRIu8"|t:%10"PRIu32"-%10"PRIu32"|m:%10"PRIu… in sessions_load()
806 …ON|s:%10"PRIu32"|p:%s|r:%10"PRIu32"|f:%02"PRIX8"|g:%"PRIu8"-%"PRIu8"|t:%10"PRIu32"-%10"PRIu32"|m:%… in sessions_load()
[all …]

12345678910>>...152