| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_assumption_stack.c | 25 …fprintf(f, "{ term = t!%"PRId32", lit = l!%"PRId32", level = %"PRIu32" }", e->term, e->lit, e->lev… in show_stack_elem()
57 …fprintf(stderr, "*** BUG: got term t!%"PRId32" for literal l!%"PRId32" (expected t!%"PRId32") ***\… in check_literal_present()
61 printf("term for literal l!%"PRId32" = t!%"PRId32"\n", l, x); in check_literal_present()
73 …fprintf(stderr, "*** BUG: got literal l!%"PRId32" for term t!%"PRId32" (expected l!%"PRId32") ***\… in check_term_present()
77 printf("literal for term t!%"PRId32" = l!%"PRId32"\n", x, l); in check_term_present()
85 … fprintf(stderr, "*** BUG: got term t!%"PRId32" for literal l!%"PRId32" (expected nothing) ***\n", in check_literal_absent()
89 printf("literal l!%"PRId32" not in the stack\n", l); in check_literal_absent()
97 … fprintf(stderr, "*** BUG: got literal l!%"PRId32" for term t!%"PRId32" (expected nothing) ***\n", in check_term_absent()
101 printf("term t!%"PRId32" not in the stack\n", x); in check_term_absent()
112 … fprintf(stderr, "*** BUG: got term %"PRId32" for literal l!%"PRId32" (expected %"PRId32") ***\n", in check_entry()
[all …]
|
| H A D | test_types.c | 189 printf("---> bv10: %"PRId32", i: %"PRId32", depth = %"PRIu32"\n\n", in main()
200 printf("---> bv32: %"PRId32", i: %"PRId32", depth = %"PRIu32"\n\n", in main()
224 printf("---> ft: %"PRId32", i: %"PRId32", depth = %"PRIu32"\n\n", in main()
270 printf("---> var1 = %"PRId32", i = %"PRId32", depth = %"PRIu32"\n\n", in main()
279 printf("---> var2 = %"PRId32", i = %"PRId32", depth = %"PRIu32"\n\n", in main()
352 printf("---> fvar = %"PRId32", i = %"PRId32", depth = %"PRIu32"\n\n", in main()
361 printf("---> fvar = %"PRId32", i = %"PRId32", depth = %"PRIu32"\n\n", in main()
424 printf("---> tt: %"PRId32", i: %"PRId32", depth = %"PRIu32"\n\n", in main()
433 printf("---> tt: %"PRId32", i: %"PRId32"\n", tt, i); in main()
473 printf("---> bv10: %"PRId32", i: %"PRId32"\n", bv10, i); in main()
[all …]
|
| H A D | test_int_hmap.c | 39 printf(" [key = %"PRId32", val = %"PRId32"]\n", d->key, d->val); in print_map()
60 printf("added new record %p: [key = %"PRId32", val = %"PRId32"]\n", d, i, d->val); in main()
62 printf("found record %p: [key = %"PRId32", val = %"PRId32"]\n", d, i, d->val); in main()
71 printf("searching: key = %"PRId32": ", i); in main()
77 printf("found: val = %"PRId32"\n", d->val); in main()
85 printf("erasing record %p: key = %"PRId32"\n", d, i); in main()
97 printf("searching: key = %"PRId32": ", i); in main()
103 printf("found: val = %"PRId32"\n", d->val); in main()
|
| H A D | test_int_bags.c | 52 printf(" free = %"PRId32, bag->free); in print_bag()
54 printf(" (index %"PRId32")\n", flip_sign_bit(bag->free)); in print_bag()
62 printf(" data[%"PRIu32"] = %"PRId32, i, x); in print_bag()
64 printf(" (index %"PRId32")\n", flip_sign_bit(x)); in print_bag()
108 printf("Adding %"PRId32": index = %"PRId32"\n", data[i], k); in main()
116 printf("Removing %"PRId32" at index %"PRId32"\n", data[i], k); in main()
129 printf("Adding %"PRId32": index = %"PRId32"\n", data[i], k); in main()
137 printf("Removing %"PRId32" at index %"PRId32"\n", data[i], k); in main()
|
| H A D | test_pmap.c | 39 printf(" [k0 = %"PRId32", k1 = %"PRId32", val = %p]\n", d->k0, d->k1, d->val); in print_map()
65 … printf("added new record %p: [k0 = %"PRId32", k1 = %"PRId32", val = %p]\n", d, k0, k1, d->val); in main()
67 printf("found record %p: [k0 = %"PRId32", k1 = %"PRId32", val = %p]\n", d, k0, k1, d->val); in main()
79 printf("searching: [k0 = %"PRId32", k1 = %"PRId32"]: ", k0, k1); in main()
95 printf("erasing record %p: [k0 = %"PRId32", k1 = %"PRId32"]\n", d, k0, k1); in main()
109 printf("searching: [k0 = %"PRId32", k1 = %"PRId32"]: ", k0, k1); in main()
|
| H A D | test_int_rat_hmap.c | 52 printf(" [key = %"PRId32", val = ", d->key); in print_hmap()
78 fprintf(stderr, "Error in find(hmap, %"PRId32"): expected NULL, got %p\n", i, r); in add_data()
84 fprintf(stderr, "Error in get(hmap, %"PRId32"): got NULL pointer\n", i); in add_data()
88 fprintf(stderr, "Error in get(hmap, %"PRId32"): key = %"PRId32"\n", i, r->key); in add_data()
92 fprintf(stderr, "Error in get(hmap, %"PRId32"): value is", i); in add_data()
98 fprintf(stderr, "Error in get(hmap, %"PRId32"): record not marked as new\n", i); in add_data()
119 fprintf(stderr, "Error in find(hmap, %"PRId32"): got NULL\n", i); in check_data()
123 fprintf(stderr, "Error in find(hmap, %"PRId32"): key = %"PRId32"\n", i, r->key); in check_data()
127 fprintf(stderr, "Error in find(hmap, %"PRId32"): value doesn't fit in 32bit\n", i); in check_data()
131 fprintf(stderr, "Error in find(hmap, %"PRId32"): value = %"PRId32"/%"PRIu32"\n", i, num, den); in check_data()
|
| H A D | test_vector_hash_map.c | 29 fprintf(f, "key %"PRId32": ", v->key); in show_vector()
34 fprintf(f, "[%"PRId32, v->data[0]); in show_vector()
36 fprintf(f, " %"PRId32, v->data[i]); in show_vector()
113 fprintf(stderr, "*** BUG: found vector %p of key %"PRId32" ***\n", v, k); in check_vector()
120 … fprintf(stderr, "*** BUG: bad vector for key %"PRId32" (v->key = %"PRId32") ***\n", k, v->key); in check_vector()
128 …fprintf(stderr, "*** BUG: out-of-range element in vector key %"PRId32" (x = %"PRId32") ***\n", k, … in check_vector()
132 fprintf(stderr, "*** BUG: bad element in vector of key %"PRId32" (x = %"PRId32") ***\n", k, x); in check_vector()
140 … "*** BUG: missing elements in vector of key %"PRId32" (expected %"PRIu32", got %"PRIu32") ***\n", in check_vector()
146 … "*** BUG: too many elements in vector of key %"PRId32" (expected %"PRIu32", got %"PRIu32") ***\n", in check_vector()
152 printf("Vector of key %"PRId32" looks correct\n", k); in check_vector()
|
| H A D | test_int_hmap2.c | 55 printf(" [k0 = %"PRId32", k1 = %"PRId32", val = %"PRId32"]\n", d->k0, d->k1, d->val); in print_map()
118 printf("Testing: k0 = %"PRId32", k1 = %"PRId32"\n", k0, k1); in test1()
126 printf("Found record: [k0 = %"PRId32", k1 = %"PRId32", val = %"PRId32"]\n", in test1()
131 printf("New record: [k0 = %"PRId32", k1 = %"PRId32", val = %"PRId32"]\n", in test1()
140 printf("Checking: k0 = %"PRId32", k1 = %"PRId32"...", k0, k1); in test1()
|
| H A D | test_int_hclasses.c | 59 printf(" data[%"PRIu32"]: %"PRId32"\n", i, table->data[i]); in print_iclass()
83 printf("find %"PRId32" = %"PRId32"\n", i, x); in main()
84 printf("get %"PRId32" = %"PRId32"\n\n", i, y); in main()
103 printf("find %"PRId32" = %"PRId32"\n", z, x); in main()
104 printf("get %"PRId32" = %"PRId32"\n\n", z, y); in main()
|
| H A D | test_union_find.c | 54 printf(" item: %"PRId32", parent = %"PRId32", rank = %"PRIu32"\n", in print_partition_details()
77 printf("class[%2"PRId32"]: %2"PRId32, x, i); in print_partition()
81 printf(" %2"PRId32, j); in print_partition()
108 printf("--- testing %"PRId32" ---\n", x); in main()
111 printf("item %"PRId32" not present; adding it\n", x); in main()
114 printf("root[%"PRId32"] = %"PRId32"\n", x, y); in main()
135 printf("--- Merging %"PRId32" and %"PRId32" ---\n", x, y); in main()
|
| H A D | test_subst_context.c | 38 fprintf(f, "x%-2"PRId32" := t%"PRId32, b->var, b->term); in show_binding()
88 printf("x%-2"PRId32" := t%"PRId32"\n", i, i+delta); in test_add()
102 printf("lookup(x%"PRId32") = t%"PRId32"\n", i, t); in test_add()
120 printf("Test: remove last %"PRId32" bindings\n", n); in test_remove()
186 printf("Checking mapping for x%"PRId32" to x%"PRId32"\n", 0, n-1); in check_mapping()
190 printf("lookup(x%"PRId32") = t%"PRId32"\n", i, t); in check_mapping()
192 printf("lookup(x%"PRId32") = none\n", i); in check_mapping()
196 printf("ERROR: UNEXPECTED MAPPING FOR x%"PRId32"\n", i); in check_mapping()
217 printf(" x%"PRId32" mapped to t%"PRId32" (t%"PRId32" expected)\n", x, t, a[x]); in check_hash_content()
|
| H A D | test_concrete_values.c | 131 printf("unknown: v = %"PRId32"\n", v); in test_constants()
136 printf("true: v = %"PRId32"\n", v); in test_constants()
142 printf("false: v = %"PRId32"\n", v); in test_constants()
149 printf("-1/2: v = %"PRId32"\n", v); in test_constants()
155 printf("24: v = %"PRId32"\n", v); in test_constants()
164 printf("(mk-bv %"PRIu32" 5): v = %"PRId32"\n", i, v); in test_constants()
177 printf("(mk-bv %"PRIu32" 35): v = %"PRId32"\n", i, v); in test_constants()
185 printf("(mk-bv %"PRId32" 35): v = %"PRId32"\n", -((int32_t) i), v); in test_constants()
192 printf("(mk-bv-zero 64): v = %"PRId32"\n", v); in test_constants()
197 printf("(mk-bv-zero 64): v = %"PRId32"\n", v); in test_constants()
|
| H A D | test_assumption_table.c | 28 fprintf(f, "%s: t!%"PRId32, a->name, a->term); in print_assumption()
30 fprintf(f, "(not %s): t!%"PRId32, a->name, a->term); in print_assumption()
60 fprintf(f, " %"PRId32"\n", table->index[i]); in print_table_index()
71 fprintf(stderr, "*** BUG: failed to find assumption t!%"PRId32" ***\n", x); in check_present()
75 fprintf(stderr, "*** BUG: wrong record for assumption t!%"PRId32" ***\n", x); in check_present()
79 printf("Success: found term t!%"PRId32": ", x); in check_present()
89 fprintf(stderr, "*** BUG: found assumption t%"PRId32" ***\n", x); in check_absent()
93 printf("Success: term t!%"PRId32" not found as expected\n", x); in check_absent()
129 printf(" t!%"PRId32, v.data[i]); in main()
148 snprintf(buffer, 20, "A%"PRId32, i); in main()
|
| H A D | test_abstract_values.c | 43 printf("(lab %"PRId32")", particle_label(&store, x)); in print_particle()
54 printf(" p!%"PRId32, tup->elem[i]); in print_particle()
69 printf(" p!%"PRId32" = ", x); in print_particle_def()
86 printf("p!%"PRId32, q[i]); in print_particle_array()
107 printf("tau!%"PRId32, set->type[i]); in print_particle_set()
115 printf("p!%"PRId32, set->data[i]); in print_particle_set()
145 printf("\nInitial objects of type tau!%"PRId32"\n", tau); in test1()
196 printf("\nInitial objects of type tau!%"PRId32"\n", tau); in test2()
244 printf("\nInitial objects of type tau!%"PRId32"\n", tau[0]); in test3()
354 printf("Initial objects of type tau!%"PRId32" x tau!%"PRId32"\n", tau[0], tau[1]); in test5()
[all …]
|
| H A D | test_merge_table.c | 41 printf("root[%"PRId32"] = %"PRId32"\n", x, y); in show_all_roots()
55 printf("root[%"PRId32"] = %"PRId32"\n", x, y); in show_roots()
99 printf("test_merge %"PRId32" and %"PRId32"\n", x, y); in test_merge()
105 printf(" ---> root[%"PRId32"] = %"PRId32"\n", x, r); in test_merge()
109 printf(" ---> root[%"PRId32"] = %"PRId32"\n", y, s); in test_merge()
112 printf(" ---> setting map[%"PRId32"] := %"PRId32"\n", r, y); in test_merge()
|
| H A D | test_int_queues.c | 36 printf(" %"PRId32, q->data[i]); in print_queue()
41 printf(" %"PRId32, q->data[i]); in print_queue()
44 printf(" %"PRId32, q->data[i]); in print_queue()
56 for (i=0; i<q->size; i++) printf(" %"PRId32, q->data[i]); in print_queue_data()
74 printf("%"PRId32" ", x); in main()
81 printf("\nadding element %"PRId32"\n", x); in main()
92 printf("%"PRId32" ", x); in main()
|
| /dports/multimedia/mplayer/mplayer-export-2021-12-29/libmpdemux/ |
| H A D | aviprint.c | 50 mp_msg(MSGT_HEADER, verbose_level, "max bytes/sec: %"PRId32"\n",h->dwMaxBytesPerSec); in print_avih()
51 mp_msg(MSGT_HEADER, verbose_level, "padding: %"PRId32"\n",h->dwPaddingGranularity); in print_avih()
53 …mp_msg(MSGT_HEADER, verbose_level, "frames total: %"PRId32" initial: %"PRId32"\n",h->dwTotalFra… in print_avih()
54 mp_msg(MSGT_HEADER, verbose_level, "streams: %"PRId32"\n",h->dwStreams); in print_avih()
56 mp_msg(MSGT_HEADER, verbose_level, "Size: %"PRId32" x %"PRId32"\n",h->dwWidth,h->dwHeight); in print_avih()
63 mp_msg(MSGT_HEADER, verbose_level, "Flags: %"PRId32"\n",h->dwFlags); in print_strh()
66 …mp_msg(MSGT_HEADER, verbose_level, "Rate: %"PRId32"/%"PRId32" = %5.3f\n",h->dwRate,h->dwScale,(flo… in print_strh()
67 mp_msg(MSGT_HEADER, verbose_level, "Start: %"PRId32" Len: %"PRId32"\n",h->dwStart,h->dwLength); in print_strh()
69 mp_msg(MSGT_HEADER, verbose_level, "Quality %"PRId32"\n",h->dwQuality); in print_strh()
70 mp_msg(MSGT_HEADER, verbose_level, "Sample size: %"PRId32"\n",h->dwSampleSize); in print_strh()
[all …]
|
| /dports/multimedia/mencoder/mplayer-export-2021-12-29/libmpdemux/ |
| H A D | aviprint.c | 50 mp_msg(MSGT_HEADER, verbose_level, "max bytes/sec: %"PRId32"\n",h->dwMaxBytesPerSec); in print_avih()
51 mp_msg(MSGT_HEADER, verbose_level, "padding: %"PRId32"\n",h->dwPaddingGranularity); in print_avih()
53 …mp_msg(MSGT_HEADER, verbose_level, "frames total: %"PRId32" initial: %"PRId32"\n",h->dwTotalFra… in print_avih()
54 mp_msg(MSGT_HEADER, verbose_level, "streams: %"PRId32"\n",h->dwStreams); in print_avih()
56 mp_msg(MSGT_HEADER, verbose_level, "Size: %"PRId32" x %"PRId32"\n",h->dwWidth,h->dwHeight); in print_avih()
63 mp_msg(MSGT_HEADER, verbose_level, "Flags: %"PRId32"\n",h->dwFlags); in print_strh()
66 …mp_msg(MSGT_HEADER, verbose_level, "Rate: %"PRId32"/%"PRId32" = %5.3f\n",h->dwRate,h->dwScale,(flo… in print_strh()
67 mp_msg(MSGT_HEADER, verbose_level, "Start: %"PRId32" Len: %"PRId32"\n",h->dwStart,h->dwLength); in print_strh()
69 mp_msg(MSGT_HEADER, verbose_level, "Quality %"PRId32"\n",h->dwQuality); in print_strh()
70 mp_msg(MSGT_HEADER, verbose_level, "Sample size: %"PRId32"\n",h->dwSampleSize); in print_strh()
[all …]
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/minizip/src/ |
| H A D | mz_strm_buf.c | 79 mz_stream_buffered_print("Buffered - Open (mode %"PRId32")\n", mode); in mz_stream_buffered_open()
110 mz_stream_buffered_print("Buffered - Write flush (%"PRId32":%"PRId32" len %"PRId32")\n", in mz_stream_buffered_flush()
134 …mz_stream_buffered_print("Buffered - Read (size %"PRId32" pos %"PRId64")\n", size, buffered->posit… in mz_stream_buffered_read()
161 …mz_stream_buffered_print("Buffered - Filled (read %"PRId32"/%"PRId32" buf %"PRId32":%"PRId32" pos … in mz_stream_buffered_read()
182 …tream_buffered_print("Buffered - Emptied (copied %"PRId32" remaining %"PRId32" buf %"PRId32":%"PRI… in mz_stream_buffered_read()
201 mz_stream_buffered_print("Buffered - Write (size %"PRId32" len %"PRId32" pos %"PRId64")\n", in mz_stream_buffered_write()
242 …m_buffered_print("Buffered - Write copy (remaining %"PRId32" write %"PRId32":%"PRId32" len %"PRId3… in mz_stream_buffered_write()
263 … mz_stream_buffered_print("Buffered - Tell (pos %"PRId64" readpos %"PRId32" writepos %"PRId32")\n", in mz_stream_buffered_tell()
279 mz_stream_buffered_print("Buffered - Seek (origin %"PRId32" offset %"PRId64" pos %"PRId64")\n", in mz_stream_buffered_seek()
361 mz_stream_buffered_print("Buffered - Close (flushed %"PRId32")\n", bytes_flushed); in mz_stream_buffered_close()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/minizip/src/ |
| H A D | mz_strm_buf.c | 79 mz_stream_buffered_print("Buffered - Open (mode %"PRId32")\n", mode); in mz_stream_buffered_open()
110 mz_stream_buffered_print("Buffered - Write flush (%"PRId32":%"PRId32" len %"PRId32")\n", in mz_stream_buffered_flush()
134 …mz_stream_buffered_print("Buffered - Read (size %"PRId32" pos %"PRId64")\n", size, buffered->posit… in mz_stream_buffered_read()
161 …mz_stream_buffered_print("Buffered - Filled (read %"PRId32"/%"PRId32" buf %"PRId32":%"PRId32" pos … in mz_stream_buffered_read()
182 …tream_buffered_print("Buffered - Emptied (copied %"PRId32" remaining %"PRId32" buf %"PRId32":%"PRI… in mz_stream_buffered_read()
201 mz_stream_buffered_print("Buffered - Write (size %"PRId32" len %"PRId32" pos %"PRId64")\n", in mz_stream_buffered_write()
242 …m_buffered_print("Buffered - Write copy (remaining %"PRId32" write %"PRId32":%"PRId32" len %"PRId3… in mz_stream_buffered_write()
263 … mz_stream_buffered_print("Buffered - Tell (pos %"PRId64" readpos %"PRId32" writepos %"PRId32")\n", in mz_stream_buffered_tell()
279 mz_stream_buffered_print("Buffered - Seek (origin %"PRId32" offset %"PRId64" pos %"PRId64")\n", in mz_stream_buffered_seek()
361 mz_stream_buffered_print("Buffered - Close (flushed %"PRId32")\n", bytes_flushed); in mz_stream_buffered_close()
|
| /dports/audio/spectmorph/spectmorph-0.5.2/3rdparty/minizip/ |
| H A D | mz_strm_buf.c | 79 mz_stream_buffered_print("Buffered - Open (mode %"PRId32")\n", mode); in mz_stream_buffered_open()
110 mz_stream_buffered_print("Buffered - Write flush (%"PRId32":%"PRId32" len %"PRId32")\n", in mz_stream_buffered_flush()
134 …mz_stream_buffered_print("Buffered - Read (size %"PRId32" pos %"PRId64")\n", size, buffered->posit… in mz_stream_buffered_read()
161 …mz_stream_buffered_print("Buffered - Filled (read %"PRId32"/%"PRId32" buf %"PRId32":%"PRId32" pos … in mz_stream_buffered_read()
182 …tream_buffered_print("Buffered - Emptied (copied %"PRId32" remaining %"PRId32" buf %"PRId32":%"PRI… in mz_stream_buffered_read()
201 mz_stream_buffered_print("Buffered - Write (size %"PRId32" len %"PRId32" pos %"PRId64")\n", in mz_stream_buffered_write()
242 …m_buffered_print("Buffered - Write copy (remaining %"PRId32" write %"PRId32":%"PRId32" len %"PRId3… in mz_stream_buffered_write()
263 … mz_stream_buffered_print("Buffered - Tell (pos %"PRId64" readpos %"PRId32" writepos %"PRId32")\n", in mz_stream_buffered_tell()
279 mz_stream_buffered_print("Buffered - Seek (origin %"PRId32" offset %"PRId64" pos %"PRId64")\n", in mz_stream_buffered_seek()
361 mz_stream_buffered_print("Buffered - Close (flushed %"PRId32")\n", bytes_flushed); in mz_stream_buffered_close()
|
| /dports/security/suricata/suricata-6.0.4/src/ |
| H A D | threads-debug.h | 40 …printf("%16s(%s:%d): (thread:%"PRIuMAX") locked mutex %p ret %" PRId32 "\n", __FUNCTION__, __FILE_…
61 …printf("%16s(%s:%d): (thread:%"PRIuMAX") trylocked mutex %p ret %" PRId32 "\n", __FUNCTION__, __FI…
100 …printf("%16s(%s:%d): (thread:%"PRIuMAX") unlocked mutex %p ret %" PRId32 "\n", __FUNCTION__, __FIL…
148 …printf("%16s(%s:%d): (thread:%"PRIuMAX") unlocked spin %p ret %" PRId32 "\n", __FUNCTION__, __FILE…
163 …printf("%16s(%s:%d): (thread:%"PRIuMAX") trylocked spin %p ret %" PRId32 "\n", __FUNCTION__, __FIL…
181 …printf("%16s(%s:%d): (thread:%"PRIuMAX") unlockedspin %p ret %" PRId32 "\n", __FUNCTION__, __FILE_…
216 …printf("%16s(%s:%d): (thread:%"PRIuMAX") condition %p passed %" PRId32 "\n", __FUNCTION__, __FILE_…
250 …printf("%16s(%s:%d): (thread:%"PRIuMAX") locked rwlock %p ret %" PRId32 "\n", __FUNCTION__, __FILE…
271 …printf("%16s(%s:%d): (thread:%"PRIuMAX") locked rwlock %p ret %" PRId32 "\n", __FUNCTION__, __FILE…
293 …printf("%16s(%s:%d): (thread:%"PRIuMAX") trylocked rwlock %p ret %" PRId32 "\n", __FUNCTION__, __F…
[all …]
|
| /dports/net/iaxmodem/iaxmodem-1.2.0/lib/spandsp/tests/ |
| H A D | power_meter_tests.c | 69 …printf("Level: expected %" PRId32 "/%" PRId32 ", got %" PRId32 "\n", power_meter_level_dbov(-10.0f… in main()
108 …printf("Level: expected %" PRId32 "/%" PRId32 ", got %" PRId32 "\n", power_meter_level_dbov(-10.0f… in main()
138 …printf("Level: expected %" PRId32 "/%" PRId32 ", got %" PRId32 "\n", power_meter_level_dbov(-10.0f… in main()
|
| /dports/math/yices/yices-2.6.2/src/parser_utils/ |
| H A D | term_stack_error.c | 384 fprintf(f, "error in %s, line %"PRId32", column %"PRId32": ", in yices_error()
415 fprintf(f, "Internal exception: opcode = %"PRId32"\n", (int32_t) tstack->error_op); in base_term_stack_error()
421 fprintf(f, "in %s (line %"PRId32", column %"PRId32")\n", in base_term_stack_error()
442 fprintf(f, "%s (line %"PRId32", column %"PRId32")\n", in base_term_stack_error()
459 fprintf(f, "(line %"PRId32", column %"PRId32")\n", in base_term_stack_error()
464 fprintf(f, "Invalid error code: %"PRId32"\n", (int32_t) exception); in base_term_stack_error()
|
| /dports/net/freerdp/freerdp-2.5.0/libfreerdp/gdi/ |
| H A D | region.c | 46 "[top/left=%" PRId32 "x%" PRId32 "-bottom/right%" PRId32 "x%" PRId32 "]", rect->top, in gdi_rect_str()
58 _snprintf(buffer, size - 1, "[%" PRId32 "x%" PRId32 "-%" PRId32 "x%" PRId32 "]", rgn->x, rgn->y, in gdi_regn_str()
85 "Can not create region top/left=%" PRId32 "x%" PRId32 "-bottom/right=%" PRId32 in gdi_CreateRectRgn()
86 "x%" PRId32, in gdi_CreateRectRgn()
151 "Can not create region top/left=%" PRId32 "x%" PRId32 "-bottom/right=%" PRId32 in gdi_RectToRgn()
152 "x%" PRId32, in gdi_RectToRgn()
189 "Can not create region top/left=%" PRId32 "x%" PRId32 "-bottom/right=%" PRId32 in gdi_CRectToRgn()
190 "x%" PRId32, in gdi_CRectToRgn()
268 "Can not create region top/left=%" PRId32 "x%" PRId32 "-bottom/right=%" PRId32 in gdi_CRectToCRgn()
269 "x%" PRId32, in gdi_CRectToCRgn()
|