argotorg / argotorg/solidity

[SMTChecker] Cleanup warnings and expression undefined

Open
#5,618 4 comments 0 reactions 1 assignee Claimed by @pgebal View on GitHub
low effort smt
Dominant language
C++
Stars
25.7k
Forks
6.2k
Avg merge
1d 11h
Merged PRs (30d)
21

Description

This issue has no description.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.