Skip to main content

Delta debugger for SMT-LIB files

Project description

GitHub Workflow Status Read the Docs PyPI PyPI - Python Version PyPI - License

pyDelta: delta debugging for SMT-LIB

pyDelta is a delta debugger for SMT-LIB files. It is heavily inspired by other similar tools like ddSMT, DeltaSMT or delta. pyDelta is based on a few fundamental ideas:

  • parse generic S-expressions. This is very robust against changes to SMT-LIB or solver specific extensions. It also allows for a small parser and simple node structure. Most semantic information that is required for simplification can be recovered cheaply.
  • parallel execution. Running multiple checks in parallel allows for significant speedups when minimizing faulty inputs.
  • easy to extend. It should be fairly easy to add new simplifications by implementing new mutators.
  • fixed-point iteration. Simplifications are applied until no simplificationss are possible anywhere. Rerunning pyDelta on a minimized input should not yield further improvements.
  • flexible to use. The options should cover most use cases, including checking for the exit code or checking for specific patterns in the (regular or error) output.

Please visit for more documentation.

Project details

Release history Release notifications | RSS feed

This version


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pydelta-smt-0.3.tar.gz (18.2 kB view hashes)

Uploaded source

Built Distribution

pydelta_smt-0.3-py3-none-any.whl (22.3 kB view hashes)

Uploaded py3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page