LoreonLabsPlatform

Overview
Discovery

Intelligence

Narratives
Founders
Projects
Ecosystems
Markets

Search

Solidity

invariant-output

grandizzy/invariant-output on GitHub.

SolidityEmerging

Stars

—

Forks

—

Contributors

1

Last push

21d ago

Recent commits

Live from the default branch.

test: add passing invariants to BuggyBank suite for mixed output
7606b8cgrandizzy21d ago
test: add BuggyBank suite with deliberate invariant failure
a4f522fgrandizzy21d ago
docs: add test commands to README
8095549grandizzy21d ago
Initial commit
e82109dgrandizzy21d ago

Top contributors

Builders behind this project.

4 commits