• 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
Name
Last commit
Last update
..
deploy-config Loading commit data...
deploy-config-periphery Loading commit data...
deployments Loading commit data...
invariant-docs Loading commit data...
lib Loading commit data...
scripts Loading commit data...
snapshots Loading commit data...
src Loading commit data...
test Loading commit data...
.gas-snapshot Loading commit data...
.gitignore Loading commit data...
CHANGELOG.md Loading commit data...
CONTRIBUTING.md Loading commit data...
LICENSE Loading commit data...
README.md Loading commit data...
STYLE_GUIDE.md Loading commit data...
VERSIONING.md Loading commit data...
foundry.toml Loading commit data...
justfile Loading commit data...
safe.json Loading commit data...
semver-lock.json Loading commit data...
slither.config.json Loading commit data...
slither.db.json Loading commit data...