invariant-examples
by lucas-manuel
AI summary
Invariant tests
A project for testing and learning invariants in smart contracts using Foundry
- stars
- 163
- forks
- 10
- watching
- 2
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Isometric tools
A set of utilities and primitives to help create isometric content in Flash
Testing utilities
A set of utility functions to simplify Angular testing with Jasmine and Karma.
sol/doctest374
Example validator
Tools for verifying and validating Haskell code examples
Testing framework
Provides testing tools and seed code for Angular JS applications using ES6 modules
Test utility library
A collection of testing assertions and logging utilities for Solidity smart contracts.
bug analysis
Analyzing and categorizing exploitable bugs in smart contracts to improve vulnerability detection techniques
Playwright demo
Demonstrates various testing scenarios with Playwright using TypeScript and GitHub Actions
Test UI
An UI extension for testing Smalltalk projects
testing tools
Tools to augment Go testing and support common testing patterns
Testing library
A lightweight testing framework for Scala and Scala.js
Test framework
A unit testing framework for ActionScript 3
Backtesting framework
A Python library for backtesting investment strategies and models using event-driven simulations.
Test framework
A simple testing framework for Scala
Contract utility library
A collection of reusable Solidity code snippets for common tasks and Ethereum-related utilities
Test framework
A comprehensive guide to testing AngularJS applications using standardized patterns and techniques
Featured in 1 awesome list
Each link jumps to the spot where the list mentions invariant-examples.
