ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends

Gereon Kremer; Aina Niemetz; Mathias Preiner

doi:10.5281/zenodo.4721925

Published April 26, 2021 | Version v1

Software Open

ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends

1. Stanford University

This artifact contains the log files, binaries and supporting material required to replicate the results described in the experimental evaluation of our tool paper "ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends" accepted at CAV 2021. Please refer to the Readme.md for further instructions.

Files

Readme.md

Files (1.6 GB)

Name	Size	Download all
ddsmt-artifact-2021.tar.xz md5:d66d3c321c9bb471e583c9107f953633	1.6 GB	Download
Readme.md md5:3e591204003aeefd377fa71d3af2528e	15.3 kB	Preview Download

694

Views

154

Downloads

Show more details

	All versions	This version
Views	694	685
Downloads	154	152
Data volume	157.8 GB	156.2 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: April 29, 2021
Modified: April 30, 2021

ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends

Creators

Description

Files

Readme.md

Files (1.6 GB)