Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Investigate evmzero differential fuzzing errors and re-enable evmzero fuzzer #549

Open
LuisPH3 opened this issue Jun 21, 2024 · 0 comments
Open

Investigate evmzero differential fuzzing errors and re-enable evmzero fuzzer #549

LuisPH3 opened this issue Jun 21, 2024 · 0 comments
Labels
CT test candidate Try undo this change to try to find it with CT framework
Milestone
Release Ready

Comments

@LuisPH3
Copy link
Contributor

LuisPH3 commented Jun 21, 2024

This Issue may be broken down into several PR addressing independent issues:

--- FAIL: FuzzDifferentialEvmzeroVsGeth (0.20s)
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#365 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Istanbul
            	--- code(pc:0) len(33); EXTCODECOPY; NUMBER; PUSH25; RETURNDATACOPY; DUP4; REVERT; op(AA)
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775107
            	--- stack size: start 7, testee 3, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#1451 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Istanbul
            	--- code(pc:0) len(33); CALL; op(D7); CALLVALUE; op(2A); op(2B); PUSH14; DUP15
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775107
            	--- stack size: start 7, testee 1, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#1457 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Istanbul
            	--- code(pc:0) len(33); CALLCODE; PUSH27; PUSH15; op(C7); op(A6); PUSH21; AND
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775107
            	--- stack size: start 7, testee 1, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#1463 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Istanbul
            	--- code(pc:0) len(33); RETURN; SWAP1; op(4C); PUSH25; SHL; PC; op(DC)
            	--- status: testee stopped, reference failed
            	--- gas: start 9223372036854775807, testee 0, reference 9223372036854775807
            	--- stack size: start 7, testee 5, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#1469 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Istanbul
            	--- code(pc:0) len(33); DELEGATECALL; op(AD); op(25); op(C0); GT; op(4E); PUSH24
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775107
            	--- stack size: start 7, testee 2, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#1505 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Istanbul
            	--- code(pc:0) len(33); STATICCALL; op(4C); op(D5); PUSH30; MSTORE8; DUP2; op(0C)
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775107
            	--- stack size: start 7, testee 2, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#1523 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Istanbul
            	--- code(pc:0) len(33); REVERT; op(0F); SAR; DUP15; PUSH28; op(A9); DUP14
            	--- status: testee reverted, reference failed
            	--- gas: start 9223372036854775807, testee 0, reference 9223372036854775807
            	--- stack size: start 7, testee 5, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#1901 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Berlin
            	--- code(pc:0) len(33); EXTCODECOPY; op(C6); MSTORE8; op(0D); EQ; LOG4; BALANCE
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 3, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#2987 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Berlin
            	--- code(pc:0) len(33); CALL; op(A9); DUP12; op(C8); op(C0); CALLDATACOPY; PUSH1
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 1, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#2993 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Berlin
            	--- code(pc:0) len(33); CALLCODE; SWAP4; PUSH17; SUB; op(B8); SLOAD; op(A8)
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 1, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#2999 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Berlin
            	--- code(pc:0) len(33); RETURN; RETURNDATASIZE; op(0C); ISZERO; op(B1); op(2E); op(C8)
            	--- status: testee stopped, reference failed
            	--- gas: start 9223372036854775807, testee 0, reference 9223372036854775807
            	--- stack size: start 7, testee 5, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#3005 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Berlin
            	--- code(pc:0) len(33); DELEGATECALL; PUSH5; op(DC); op(D9); LOG4; SWAP13; DUP10
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 2, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#3041 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Berlin
            	--- code(pc:0) len(33); STATICCALL; op(AB); SAR; PUSH26; op(BC); op(B4); DUP8
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 2, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#3059 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Berlin
            	--- code(pc:0) len(33); REVERT; DUP13; op(B7); op(DB); ISZERO; op(E7); SWAP8
            	--- status: testee reverted, reference failed
            	--- gas: start 9223372036854775807, testee 0, reference 9223372036854775807
            	--- stack size: start 7, testee 5, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#3437 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: London
            	--- code(pc:0) len(33); EXTCODECOPY; op(DD); op(1E); op(EA); op(AA); op(D6); BASEFEE
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 3, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#4523 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: London
            	--- code(pc:0) len(33); CALL; SWAP13; COINBASE; op(EF); op(E8); PUSH30; PUSH9
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 1, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#4529 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: London
            	--- code(pc:0) len(33); CALLCODE; EXTCODESIZE; SWAP4; PUSH18; DIV; op(C0); PUSH14
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 1, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#4535 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: London
            	--- code(pc:0) len(33); RETURN; op(0E); PUSH5; op(A9); op(D1); CALLDATALOAD; PUSH14
            	--- status: testee stopped, reference failed
            	--- gas: start 9223372036854775807, testee 0, reference 9223372036854775807
            	--- stack size: start 7, testee 5, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#4541 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: London
            	--- code(pc:0) len(33); DELEGATECALL; CALLDATACOPY; op(2D); op(DA); COINBASE; SWAP9; CALLDATALOAD
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 2, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#4577 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: London
            	--- code(pc:0) len(33); STATICCALL; PUSH8; PUSH9; POP; GT; PUSH23; CALLDATALOAD
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 2, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#4595 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: London
            	--- code(pc:0) len(33); REVERT; DUP3; EXTCODEHASH; op(21); op(D5); JUMP; LOG3
            	--- status: testee reverted, reference failed
            	--- gas: start 9223372036854775807, testee 0, reference 9223372036854775807
            	--- stack size: start 7, testee 5, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#4973 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Paris
            	--- code(pc:0) len(33); EXTCODECOPY; SELFBALANCE; PUSH8; op(F7); RETURNDATACOPY; PUSH21; PUSH25
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 3, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#6059 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Paris
            	--- code(pc:0) len(33); CALL; op(E8); op(2A); PUSH29; op(E5); DUP1; op(1F)
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 1, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#6065 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Paris
            	--- code(pc:0) len(33); CALLCODE; DUP5; RETURNDATASIZE; op(C5); op(AB); op(49); op(4E)
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 1, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#6071 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Paris
            	--- code(pc:0) len(33); RETURN; SDIV; op(E0); op(EE); SAR; MLOAD; MSTORE
            	--- status: testee stopped, reference failed
            	--- gas: start 9223372036854775807, testee 0, reference 9223372036854775807
            	--- stack size: start 7, testee 5, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#6077 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Paris
            	--- code(pc:0) len(33); DELEGATECALL; op(C9); op(F9); PUSH0; DUP2; SWAP13; SELFBALANCE
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 2, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#6113 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Paris
            	--- code(pc:0) len(33); STATICCALL; LOG2; SUB; op(4F); op(24); PUSH28; op(ED)
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 2, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#6131 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Paris
            	--- code(pc:0) len(33); REVERT; PC; SWAP6; op(B8); SHR; PUSH18; SELFDESTRUCT
            	--- status: testee reverted, reference failed
            	--- gas: start 9223372036854775807, testee 0, reference 9223372036854775807
            	--- stack size: start 7, testee 5, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#6509 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Shanghai
            	--- code(pc:0) len(33); EXTCODECOPY; DUP15; op(2C); op(23); PUSH2; PC; PUSH8
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 3, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#7595 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Shanghai
            	--- code(pc:0) len(33); CALL; PUSH5; op(E5); op(D8); op(B2); op(DE); op(B1)
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 1, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#7601 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Shanghai
            	--- code(pc:0) len(33); CALLCODE; DUP9; STATICCALL; SWAP16; SELFBALANCE; op(F6); BALANCE
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 1, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#7607 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Shanghai
            	--- code(pc:0) len(33); RETURN; op(2A); op(C8); BLOCKHASH; op(0D); LT; PUSH24
            	--- status: testee stopped, reference failed
            	--- gas: start 9223372036854775807, testee 0, reference 9223372036854775807
            	--- stack size: start 7, testee 5, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#7613 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Shanghai
            	--- code(pc:0) len(33); DELEGATECALL; PUSH17; RETURN; op(25); AND; DUP7; op(4D)
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 2, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#7649 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Shanghai
            	--- code(pc:0) len(33); STATICCALL; op(E2); XOR; MCOPY; op(A7); CALLDATACOPY; SWAP12
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 2, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#7667 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Shanghai
            	--- code(pc:0) len(33); REVERT; op(22); MUL; PUSH24; op(B9); PUSH1; GASPRICE
            	--- status: testee reverted, reference failed
            	--- gas: start 9223372036854775807, testee 0, reference 9223372036854775807
            	--- stack size: start 7, testee 5, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#8045 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Cancun
            	--- code(pc:0) len(33); EXTCODECOPY; DUP2; op(BD); op(C1); PUSH14; EXTCODEHASH; op(D9)
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 3, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#9131 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Cancun
            	--- code(pc:0) len(33); CALL; op(A6); op(CC); CALLCODE; op(F6); BLOBBASEFEE; CALLDATASIZE
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 1, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#9137 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Cancun
            	--- code(pc:0) len(33); CALLCODE; op(D7); op(B2); EQ; op(4B); DUP10; LOG0
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 1, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#9143 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Cancun
            	--- code(pc:0) len(33); RETURN; op(C8); BYTE; PUSH17; op(DC); op(23); op(ED)
            	--- status: testee stopped, reference failed
            	--- gas: start 9223372036854775807, testee 0, reference 9223372036854775807
            	--- stack size: start 7, testee 5, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#9149 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Cancun
            	--- code(pc:0) len(33); DELEGATECALL; PUSH25; SWAP16; op(0E); SMOD; op(FC); PUSH30
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 2, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#9185 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Cancun
            	--- code(pc:0) len(33); STATICCALL; PUSH1; STOP; PUSH1; SWAP4; op(5D); op(5D)
            	--- status: testee running, reference failed
            	--- gas: start 9223372036854775807, testee 9223372036854775807, reference 9223372036854775707
            	--- stack size: start 7, testee 2, reference 7
            	--- mem size: start 0, testee 0, reference 0
    --- FAIL: FuzzDifferentialEvmzeroVsGeth/seed#9203 (0.00s)
        evm_fuzz_test.go:130: invalid result, status does not match reference status: 
            	--- revision: Cancun
            	--- code(pc:0) len(33); REVERT; op(49); PUSH15; CODESIZE; DUP14; op(EC); op(E7)
            	--- status: testee reverted, reference failed
            	--- gas: start 9223372036854775807, testee 0, reference 9223372036854775807
            	--- stack size: start 7, testee 5, reference 7
            	--- mem size: start 0, testee 0, reference 0
@LuisPH3 LuisPH3 mentioned this issue Jun 21, 2024
Merged
@LuisPH3 LuisPH3 added this to the Release Ready milestone Jun 21, 2024
@LuisPH3 LuisPH3 added the CT test candidate Try undo this change to try to find it with CT framework label Jun 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
CT test candidate Try undo this change to try to find it with CT framework
Projects
None yet
Milestone
Release Ready
Development

No branches or pull requests
1 participant
@LuisPH3