master
manticore
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
B
tests\native\test_cpu_automatic.py
3126 3 1
B
tests\native\test_memory.py
127 3 12
B
tests\other\test_smtlibv2.py
97 12 7
B
scripts\run_tests.sh
 10 16
A
Dockerfile
 3 5
A
examples\evm\coverage.py
 1 -
A
examples\evm\minimal-json.py
 1 -
A
examples\evm\minimal.py
 2 -
A
.github\ISSUE_TEMPLATE\config.yml
 1 -
A
.github\workflows\osx.yml
 9 -
A
examples\cgc\simple\main.c
5 1 -
A
examples\evm\complete.py
 1 -
A
.github\workflows\snorkell-auto-documentation.yml
 1 -
A
examples\evm\mappingchallenge.py
6 3 -
A
.github\workflows\ci.yml
 28 -
A
examples\cgc\stack\main.c
9 1 -
A
.github\workflows\pip-audit.yml
 14 -
A
examples\cgc\strncmp\main.c
6 1 -
A
examples\evm\asm.py
1 1 1
A
docs\conf.py
4 6 -