Gradle Test Run :test

encode should be deterministic for one source-target pair

summary

tests

failures

skipped

0.023s

duration

100%

successful

standard output

timestamp = 2026-04-18T10:03:10.808309853, [unit, property, patch] PatchCommandEncoder properties:encode should be deterministic for one source-target pair = 
                              |-----------------------jqwik-----------------------
tries = 150                   | # of calls to property
checks = 150                  | # of not rejected calls
generation = RANDOMIZED       | parameters are randomly generated
after-failure = SAMPLE_FIRST  | try previously failed sample, then previous seed
when-fixed-seed = ALLOW       | fixing the random seed is allowed
edge-cases#mode = MIXIN       | edge cases are mixed in
edge-cases#total = 9          | # of all combined edge cases
edge-cases#tried = 6          | # of edge cases tried in current run
seed = 648123468044921183     | random seed to reproduce generated values