Property testing failure - Githubissues

BowTiedWoo / CI-notification

GNU General Public License v3.0

0 stars 0 forks source link

Property testing failure #6

Closed BowTiedWoo closed 3 hours ago

BowTiedWoo commented 3 hours ago

GitHub Actions workflow Property Testings #126 failed.

[31;1mTest failed: assertion `left == right` failed[0m
  left: true
 right: false.
minimal failing input: val1 = UInt(
    1085591529149693919895788704368322896,
), val2 = UInt(
    197850799236239023438361367014589463769,
)
    successes: 0
    local rejects: 0
    global rejects: 0

[0m
[31;1m   Canceling[0m due to [31;1mtest failure[0m: [1m3[0m tests still running
[32;1m        PASS[0m [   5.961s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_bitwise_multi_ops_uint[0m
[32;1m        PASS[0m [   3.988s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_bitwise_two_ops[0m
[32;1m        PASS[0m [   3.693s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_bitwise_two_ops_uint[0m
[32;1m        PASS[0m [   1.778s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_xor_int[0m
------------
[31;1m     Summary[0m [  41.848s] [1m136[0m/[1m279[0m tests run: [1m135[0m [32;1mpassed[0m, [1m1[0m [31;1mfailed[0m, [1m0[0m [33;1mskipped[0m
[31;1m        FAIL[0m [   0.031s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_fail_please[0m
[33;1mwarning[0m: [1m143[0m/[1m279[0m tests were not run due to [33;1mtest failure[0m (run with [1m--no-fail-fast[0m to run all tests)
[31;1merror[0m: test run failed

BowTiedWoo commented 3 hours ago

GitHub Actions workflow Property Testings #126 failed.

[31;1mTest failed: assertion `left == right` failed[0m
  left: true
 right: false.
minimal failing input: val1 = UInt(
    1071918679429984608713120852528097070,
), val2 = UInt(
    271859763354381828022378760366875121144,
)
    successes: 0
    local rejects: 0
    global rejects: 0

[0m
[31;1m   Canceling[0m due to [31;1mtest failure[0m: [1m3[0m tests still running
[32;1m        PASS[0m [   5.512s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_bitwise_multi_ops_uint[0m
[32;1m        PASS[0m [   3.575s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_bitwise_two_ops[0m
[32;1m        PASS[0m [   3.119s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_bitwise_two_ops_uint[0m
[32;1m        PASS[0m [   1.674s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_xor_int[0m
------------
[31;1m     Summary[0m [  44.157s] [1m136[0m/[1m278[0m tests run: [1m135[0m [32;1mpassed[0m, [1m1[0m [31;1mfailed[0m, [1m0[0m [33;1mskipped[0m
[31;1m        FAIL[0m [   0.035s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_fail_please[0m
[33;1mwarning[0m: [1m142[0m/[1m278[0m tests were not run due to [33;1mtest failure[0m (run with [1m--no-fail-fast[0m to run all tests)
[31;1merror[0m: test run failed

BowTiedWoo commented 3 hours ago

GitHub Actions workflow Property Testings #127 failed.

[31;1mTest failed: assertion `left == right` failed[0m
  left: true
 right: false.
minimal failing input: val1 = UInt(
    919154481719308982989401241399178872,
), val2 = UInt(
    71011091328664506149052149169696970205,
)
    successes: 0
    local rejects: 0
    global rejects: 0

[0m
[31;1m   Canceling[0m due to [31;1mtest failure[0m: [1m3[0m tests still running
[32;1m        PASS[0m [   5.955s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_bitwise_multi_ops_uint[0m
[32;1m        PASS[0m [   3.813s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_bitwise_two_ops[0m
[32;1m        PASS[0m [   3.421s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_bitwise_two_ops_uint[0m
[32;1m        PASS[0m [   1.405s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_xor_int[0m
------------
[31;1m     Summary[0m [  44.144s] [1m136[0m/[1m278[0m tests run: [1m135[0m [32;1mpassed[0m, [1m1[0m [31;1mfailed[0m, [1m0[0m [33;1mskipped[0m
[31;1m        FAIL[0m [   0.053s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_fail_please[0m
[33;1mwarning[0m: [1m142[0m/[1m278[0m tests were not run due to [33;1mtest failure[0m (run with [1m--no-fail-fast[0m to run all tests)
[31;1merror[0m: test run failed

BowTiedWoo commented 3 hours ago

GitHub Actions workflow Property Testings #127 failed.

[31;1mTest failed: assertion `left == right` failed[0m
  left: true
 right: false.
minimal failing input: val1 = UInt(
    1042381079877824131571476944044690065,
), val2 = UInt(
    218670040807658448839701512663595206286,
)
    successes: 0
    local rejects: 0
    global rejects: 0

[0m
[31;1m   Canceling[0m due to [31;1mtest failure[0m: [1m3[0m tests still running
[32;1m        PASS[0m [   5.686s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_bitwise_multi_ops_uint[0m
[32;1m        PASS[0m [   3.814s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_bitwise_two_ops[0m
[32;1m        PASS[0m [   3.411s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_bitwise_two_ops_uint[0m
[32;1m        PASS[0m [   1.739s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_xor_int[0m
------------
[31;1m     Summary[0m [  42.408s] [1m136[0m/[1m279[0m tests run: [1m135[0m [32;1mpassed[0m, [1m1[0m [31;1mfailed[0m, [1m0[0m [33;1mskipped[0m
[31;1m        FAIL[0m [   0.024s] [35;1mclar2wasm::wasm-generation[0m [36mbitwise::clarity_v2_v3[0m[36m::[0m[34;1mcrossprop_fail_please[0m
[33;1mwarning[0m: [1m143[0m/[1m279[0m tests were not run due to [33;1mtest failure[0m (run with [1m--no-fail-fast[0m to run all tests)
[31;1merror[0m: test run failed

BowTiedWoo commented 3 hours ago

GitHub Actions workflow Property Testings #128 failed.

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

   Canceling due to test failure: 3 tests still running

BowTiedWoo commented 3 hours ago

GitHub Actions workflow Property Testings #128 failed.

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

   Canceling due to test failure: 3 tests still running