search

BowTiedWoo / CI-notification

GNU General Public License v3.0
0 stars 0 forks source link

Property testing failure #4

Closed BowTiedWoo closed 1 day ago

BowTiedWoo commented 2 days ago

GitHub Actions workflow Property Testings #87 failed.\n\n

BowTiedWoo commented 2 days ago

GitHub Actions workflow Property Testings #88 failed.\n\n

BowTiedWoo commented 2 days ago

GitHub Actions workflow Property Testings #89 failed.\n\n

BowTiedWoo commented 2 days ago

GitHub Actions workflow Property Testings #90 failed.\n\n

BowTiedWoo commented 2 days ago

GitHub Actions workflow Property Testings #91 failed.\n\n

BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #97 failed.\n\n

BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #98 failed.

BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #99 failed.

BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #100 failed.

BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #101 failed.

BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #102 failed.

BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #103 failed.

BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #104 failed.

BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #105 failed.

Test failed: assertion `left == right` failed
BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #106 failed.

Test failed: assertion `left == right` failed
BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #108 failed.\

$(cat failure_section.log)

BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #109 failed.\

Test failed: assertion left == right failed left: true right: false. minimal failing input: val1 = UInt( 908711052164486774595401856464706572, ), val2 = UInt( 201181304030536793497070849203125435866, ) successes: 0 local rejects: 0 global rejects: 0

failures: bitwise::clarity_v2_v3::crossprop_fail_please

test result: FAILED. 156 passed; 1 failed; 2 ignored; 0 measured; 0 filtered out; finished in 93.01s

BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #110 failed.\

Test failed: assertion `left == right` failed
  left: true
 right: false.
minimal failing input: val1 = UInt(
    716127408004393516846397589413872941,
), val2 = UInt(
    304896082548592714354193110390799416420,
)
    successes: 0
    local rejects: 0
    global rejects: 0

failures:
    bitwise::clarity_v2_v3::crossprop_fail_please

test result: FAILED. 156 passed; 1 failed; 2 ignored; 0 measured; 0 filtered out; finished in 92.25s
BowTiedWoo commented 1 day ago

GitHub Actions workflow Property Testings #111 failed.\

Test failed: assertion `left == right` failed
  left: true
 right: false.
minimal failing input: val1 = UInt(
    953175257841420099998964835876879412,
), val2 = UInt(
    208190041062410621051908267994313173010,
)
    successes: 0
    local rejects: 0
    global rejects: 0

failures:
    bitwise::clarity_v2_v3::crossprop_fail_please

test result: FAILED. 156 passed; 1 failed; 2 ignored; 0 measured; 0 filtered out; finished in 93.68s