Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / Practical-Formal-Methods / storm

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Practical-Formal-Methods%2Fstorm

Stars: 86
Forks: 11
Open Issues: 1

License: apache-2.0
Language: SMT
Repo Size: 445 KB
Dependencies: 12

Created: about 4 years ago
Updated: 4 months ago
Last pushed: almost 4 years ago
Last synced: about 1 month ago

Topics: fuzzing, smt, testing

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/python-app.yml actions
    .github/workflows/python-package.yml actions
    setup.py pypi
    docs/jekyll-theme-minimal.gemspec rubygems