invariant-examples
Invariant tests
A project for testing and learning invariants in smart contracts using Foundry
163 stars
2 watching
10 forks
Language: Solidity
last commit: over 1 year ago
Linked from 1 awesome list
crisgarner/awesome-foundryRelated projects:
| Repository | Description | Stars |
|---|---|---|
 as3isolib/as3isolib.v1 | A set of utilities and primitives to help create isometric content in Flash | 39 |
 lazycuh/angular-testing-kit | A set of utility functions to simplify Angular testing with Jasmine and Karma. | 1 |
 sol/doctest | Tools for verifying and validating Haskell code examples | 373 |
 tomastrajan/angular-js-es6-testing-example | Provides testing tools and seed code for Angular JS applications using ES6 modules | 171 |
 paulrberg/prb-test | A collection of testing assertions and logging utilities for Solidity smart contracts. | 182 |
 zhangzhuosjtu/web3bugs | Analyzing and categorizing exploitable bugs in smart contracts to improve vulnerability detection techniques | 1,554 |
 marcusfelling/demo.playwright | Demonstrates various testing scenarios with Playwright using TypeScript and GitHub Actions | 261 |
 juliendelplanque/drtests | An UI extension for testing Smalltalk projects | 7 |
 gotestyourself/gotest.tools | Tools to augment Go testing and support common testing patterns | 518 |
 monix/minitest | A lightweight testing framework for Scala and Scala.js | 179 |
 connorjclark/as3unit | A unit testing framework for ActionScript 3 | 4 |
 jeffrey-liang/quantitative | A Python library for backtesting investment strategies and models using event-driven simulations. | 65 |
 com-lihaoyi/utest | A simple testing framework for Scala | 487 |
 ethereum/solidity-examples | A collection of reusable Solidity code snippets for common tasks and Ethereum-related utilities | 541 |
 daniellmb/angular-test-patterns | A comprehensive guide to testing AngularJS applications using standardized patterns and techniques | 867 |