A no frills delta debugger written in myrddin.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
LICENSE
bld.proj
ddmin.1
ddmin.myr
readme.md
todo.txt

readme.md

DDMIN(1) - General Commands Manual

NAME

ddmin - minimise interesting files automatically

SYNOPSIS

ddmin [-b] [-h] tester interesting

DESCRIPTION

ddmin minimises file interesting in place using delta debugging. It works by deleting lines (or bytes with -b) while ensuring tester returns 0 when executed.

ddmin forwards the stdout and stderr of successive tester executions to enable debug logging.

EXIT STATUS

The ddmin utility exits 0 on success, and >0 if an error occurs.

EXAMPLE

Given the input file interesting.c:

#include <stdio.h>

int main()
{
	printf("hello world!");
	return 0;
}

The test script test.sh:

#! /bin/sh

set -e

gcc interesting.c
if ! ./a.out | grep -q "hello" then
	exit 1
fi

The invocation:

ddmin -b ./test.sh ./interesting.c

Produces the minimised output:

main(){printf("hello");return;}

OpenBSD 6.1 - March 8, 2017