bernardladenthin / streambuffer / 26335673977 / 1

100%

master: 100%

push

github

Add property-based and stress tests with jqwik and jcstress (#74)

* Add jqwik property tests and jcstress concurrency tests

Introduces two complementary test frameworks alongside the existing JUnit 5
suite to cover gaps that example-based tests cannot reach:

- jqwik (property-based, JUnit 5 engine) verifies round-trip, chunk-size
  independence, and counter accounting over arbitrary inputs.
- jcstress (Mode.Termination) verifies that a reader blocked in read() is
  correctly unblocked by both close() and write() signals, exercising the
  signalModification semaphore and streamClosed volatile.

jcstress is wired into the default test phase via exec-maven-plugin
(exec goal, forked JVM, -m quick) so mvn test runs it always-on.

* Grow concurrency seed: jcstress default mode + concurrent-write race + 2 properties

- Bump jcstress mode from -m quick to -m default (5 forks vs 1) for higher
  per-test sample counts; build time goes from ~55s to ~3min.
- Add ConcurrentWriteRace: two writers race; arbiter asserts both payloads
  appear contiguously (no interleaving) in one of two valid orders.
- Add safeWriteIsolatesFromExternalMutation property: with safeWrite=true,
  mutating the source array after write() must not affect read output.
- Add trimPreservesContentAcrossMaxBufferElements property: round-trip
  content must be preserved for arbitrary maxBufferElements (covers trim
  correctness).

---------

Co-authored-by: Claude <noreply@anthropic.com>

122 of 128 branches covered (95.31%)

250 of 250 relevant lines covered (100.0%)

4.02 hits per line