Skip to content

runtimeverification/_audits_lidofinance_dual-governance_fork

 
 

Repository files navigation

Lido Dual Governance contracts

WARNING: this code is an early draft and is not functional yet.

See this research forum discussion for the relevant context.

Setup

This project uses NPM for dependency management and Forge for tests so you'll need to have Node.js, NPM, and Foundry installed.

Running tests

forge test

Test coverage HTML report generation

  1. Install lcov package in your OS
    brew install lcov
    
    -OR-
    
    apt-get install lcov
  2. Run
    npm run cov-report
  3. Open ./coverage-report/index.html in your browser.

About

Lido Dual Governance contracts

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Solidity 98.8%
  • Shell 1.2%