Skip over point writes in phase 3

2024-10-30 15:08:27 -07:00
parent 051bfb05fe
commit c4b0aa1085
2 changed files with 37 additions and 14 deletions
--- a/Internal.h
+++ b/Internal.h
@@ -645,7 +645,8 @@ struct TestDriver {

  bool ok = true;

-  const int prefixLen = arbitrary->bounded(512);
+  // const int prefixLen = arbitrary->bounded(512);
+  const int prefixLen = 0;
  const int prefixByte = arbitrary->randT<uint8_t>();

  // Call until it returns true, for "done". Check internal invariants etc