• mbaxter's avatar
    cannon: Add MTCannon-specific differential tests (#11605) · e53a86ac
    mbaxter authored
    * cannon: Implement multithreaded clone fuzz test
    
    * cannon: Add more clone evm tests
    
    * cannon: Add evm test for GetTID syscall
    
    * cannon: Add evm test for SysExit
    
    * cannon: Add evm test for popping exited threads from the stack
    
    * cannon: Fix futex wait handling, add evm test
    
    * cannon: Add evm test for handling waiting thread
    
    * cannon: Add test utils for defining / validating MTState expectations
    
    * cannon: Add tests for futex wake, wake traversal
    
    * cannon: Add test for SysYield
    
    * cannon: Add SysOpen test, todos
    
    * cannon: Add test for SchedQuantum preemption, fix inconsistency
    
    * cannon: Add tests for noop, unsupported syscalls
    
    * cannon: Remove duplicate constants
    
    * cannon: Add tests for unsupported futex ops
    
    * cannon: Group traversal tests, fix TestEVM_WakeupTraversalStep
    
    * cannon: Add tests for nanosleep
    
    * cannon: Add additional testcase for wakeup traversal
    
    * cannon: Tweak futex wake tests
    
    * cannon: Update mt fuzz test to use new test utils
    
    * cannon: Rename contructor method for consistency
    
    * cannon: Add some simple tests for ExpectedMTState util
    
    * cannon: Add another validation test
    
    * cannon: Move syscall lists to tests where they're used
    
    * cannon: Add comment
    
    * cannon: Extract some evm test helpers
    
    * cannon: Cleanup - use require.Equalf for formatting
    
    * cannon: Rename test util to AssertEVMReverts
    
    * cannon: Add GetThreadStacks helper
    
    * cannon: Add a few more traversal tests
    e53a86ac
fuzz_evm_multithreaded_test.go 2.29 KB