@@ -297,25 +297,32 @@ TEST_CASE("test memcmp", "[stdlib]")
297297 auto b1b2 = std::memcmp (buffer1, buffer2, strlen (buffer1));
298298 auto b2b1 = std::memcmp (buffer2, buffer1, strlen (buffer1));
299299
300+ printf (" MEMCMP Debugging line 1\n " );
300301 // NOLINTNEXTLINE
301302 auto tb1b1 = rlbox::memcmp (sandbox, buffer1_t , buffer1, strlen (buffer1))
302303 .unverified_safe_because (" test" );
304+ printf (" MEMCMP Debugging line 2\n " );
303305 // NOLINTNEXTLINE
304306 auto tb1b2 = rlbox::memcmp (sandbox, buffer1_t , buffer2, strlen (buffer1))
305307 .unverified_safe_because (" test" );
308+ printf (" MEMCMP Debugging line 3\n " );
306309 // NOLINTNEXTLINE
307310 auto tb2b1 = rlbox::memcmp (sandbox, buffer2_t , buffer1, strlen (buffer1))
308311 .unverified_safe_because (" test" );
309312
313+ printf (" MEMCMP Debugging line 4\n " );
310314 // NOLINTNEXTLINE
311315 auto tb1tb1 = rlbox::memcmp (sandbox, buffer1_t , buffer1_t , strlen (buffer1))
312316 .unverified_safe_because (" test" );
317+ printf (" MEMCMP Debugging line 5\n " );
313318 // NOLINTNEXTLINE
314319 auto tb1tb2 = rlbox::memcmp (sandbox, buffer1_t , buffer2_t , strlen (buffer1))
315320 .unverified_safe_because (" test" );
321+ printf (" MEMCMP Debugging line 6\n " );
316322 // NOLINTNEXTLINE
317323 auto tb2tb1 = rlbox::memcmp (sandbox, buffer2_t , buffer1_t , strlen (buffer1))
318324 .unverified_safe_because (" test" );
325+ printf (" MEMCMP Debugging line 7\n " );
319326
320327 b1b1 = normalize (b1b1);
321328 b1b2 = normalize (b1b2);
0 commit comments