- 
                Notifications
    
You must be signed in to change notification settings  - Fork 260
 
Presentation introduce hot fuzz
        Miao, ZhiCheng edited this page Aug 2, 2023 
        ·
        6 revisions
      
    ⚠ This file is automatically generated from this org file using this script.
The exported presentation can be accessed via this githack link.
- Thinking about what to test.
 - Write isolated test cases.
 - Check against coverage reports.
 
- Randomize input values.
 - Run fixed test sequence against invariances (expected behavior).
 
- GENERATIVE - Randomize the test sequence too.
 - DECLARATIVE - Define what’s possible and what’s expected.
 - INTELLIGENT - Discover complex sequence that may lead to exploits.
 - UNLIMITED - Run as long as you can afford to.
 
- Testing Superfluid Applications(inc. Super Apps)
 - Like THE Pro:
    
 
- Basically crytic/echidna (trailofbits)
 - Additional Superfluid Testing boiler plates, helpers and workarounds
 
- Governance Overview
 - For Contributors
 - Development Process
 - Protocol EVMv1 Operations
 - Protocol EVMv1 Technical Notes
 - Protocol EVMv1 Core Subgraph