├── .gitignore ├── Multisig.sol ├── README.md ├── State.sol ├── invariants.spec ├── multisig.spec ├── run.conf └── sanity.spec /.gitignore: -------------------------------------------------------------------------------- 1 | .certora_internal/* -------------------------------------------------------------------------------- /Multisig.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Certora/CaptureTheSpec/HEAD/Multisig.sol -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Certora/CaptureTheSpec/HEAD/README.md -------------------------------------------------------------------------------- /State.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Certora/CaptureTheSpec/HEAD/State.sol -------------------------------------------------------------------------------- /invariants.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Certora/CaptureTheSpec/HEAD/invariants.spec -------------------------------------------------------------------------------- /multisig.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Certora/CaptureTheSpec/HEAD/multisig.spec -------------------------------------------------------------------------------- /run.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Certora/CaptureTheSpec/HEAD/run.conf -------------------------------------------------------------------------------- /sanity.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Certora/CaptureTheSpec/HEAD/sanity.spec --------------------------------------------------------------------------------