experiment: ci-run

workload: buf-list

strategy: proptest

property: ReadExactPosOnEof

mode: solve

status: failed

tool: proptest

counterexample:
Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=2 (total=2 start=0 buf_len=3).
minimal failing input: (
    [
        [
            0,
            0,
        ],
    ],
    1047052683,
    0,
)


counterexample:
Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=11 (total=11 start=0 buf_len=12).
minimal failing input: (
    [
        [
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
        ],
    ],
    0,
    0,
)


counterexample:
Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=2 (total=2 start=0 buf_len=3).
minimal failing input: (
    [
        [
            0,
            0,
        ],
    ],
    146091312,
    0,
)


counterexample:
Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=2 (total=2 start=0 buf_len=3).
minimal failing input: (
    [
        [
            0,
            0,
        ],
    ],
    7749612,
    0,
)


counterexample:
Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=4 (total=4 start=0 buf_len=5).
minimal failing input: (
    [
        [
            0,
            0,
            0,
            0,
        ],
    ],
    66816965,
    0,
)


counterexample:
Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=2 (total=2 start=0 buf_len=3).
minimal failing input: (
    [
        [
            0,
            0,
        ],
    ],
    132776913,
    0,
)


counterexample:
Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=3 (total=3 start=0 buf_len=4).
minimal failing input: (
    [
        [
            0,
            0,
            0,
        ],
    ],
    4989312,
    0,
)


counterexample:
Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=9 (total=9 start=0 buf_len=10).
minimal failing input: (
    [
        [
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
            0,
        ],
    ],
    19661070,
    0,
)


counterexample:
Test failed: position mismatch after read_exact EOF: buf_list=0 oracle=2 (total=2 start=0 buf_len=3).
minimal failing input: (
    [
        [
            0,
            0,
        ],
    ],
    160779447,
    0,
)


strategy: quickcheck

tool: quickcheck

counterexample: quickcheck counterexample: (0 0 0)


strategy: crabcheck

tool: crabcheck

counterexample: crabcheck counterexample: ([[1, 1], [2, 2]] 1 2)


counterexample: crabcheck counterexample: ([[1]] 0 0)


counterexample: crabcheck counterexample: ([[0]] 0 0)


counterexample: crabcheck counterexample: ([[2, 0], [1, 1]] 2 2)


counterexample: crabcheck counterexample: ([[0, 2], [2, 1]] 1 2)


counterexample: crabcheck counterexample: ([[0, 1], [1, 0]] 0 1)


counterexample: crabcheck counterexample: ([[1]] 0 1)


strategy: hegel

tool: hegel

counterexample: hegel found counterexample: Property test failed: position mismatch after read_exact EOF: buf_list=0 oracle=1 (total=1 start=0 buf_len=2)