search

BowTiedWoo / CI-notification

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

Property testing failure #7

Open BowTiedWoo opened 5 hours ago

BowTiedWoo commented 5 hours ago

GitHub Actions workflow Property Testings #129 failed.

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

   Canceling due to test failure: 3 tests still running
        PASS [   5.851s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_bitwise_multi_ops_uint
        PASS [   3.728s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_bitwise_two_ops
        PASS [   3.482s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_bitwise_two_ops_uint
        PASS [   1.702s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_xor_int
------------
     Summary [  42.872s] 136/279 tests run: 135 passed, 1 failed, 0 skipped
        FAIL [   0.064s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_fail_please
BowTiedWoo commented 5 hours ago

GitHub Actions workflow Property Testings #129 failed.

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

   Canceling due to test failure: 3 tests still running
        PASS [   6.081s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_bitwise_multi_ops_uint
        PASS [   3.834s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_bitwise_two_ops
        PASS [   3.580s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_bitwise_two_ops_uint
        PASS [   1.523s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_xor_int
------------
     Summary [  43.066s] 136/278 tests run: 135 passed, 1 failed, 0 skipped
        FAIL [   0.086s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_fail_please
BowTiedWoo commented 5 hours ago

GitHub Actions workflow Property Testings #130 Clarity::V3 failed.

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

   Canceling due to test failure: 3 tests still running
        PASS [   5.733s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_bitwise_multi_ops_uint
        PASS [   3.919s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_bitwise_two_ops
        PASS [   3.370s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_bitwise_two_ops_uint
        PASS [   1.525s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_xor_int
------------
     Summary [  42.597s] 136/278 tests run: 135 passed, 1 failed, 0 skipped
        FAIL [   0.033s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_fail_please
BowTiedWoo commented 5 hours ago

GitHub Actions workflow Property Testings #130 Clarity::V2 failed.

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

   Canceling due to test failure: 3 tests still running
        PASS [   6.185s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_bitwise_multi_ops_uint
        PASS [   3.883s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_bitwise_two_ops
        PASS [   3.691s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_bitwise_two_ops_uint
        PASS [   1.692s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_xor_int
------------
     Summary [  42.874s] 136/279 tests run: 135 passed, 1 failed, 0 skipped
        FAIL [   0.036s] clar2wasm::wasm-generation bitwise::clarity_v2_v3::crossprop_fail_please