           SPELL=theft
         VERSION=0.4.5
          SOURCE="$SPELL-$VERSION.tar.gz"
   SOURCE_URL[0]=https://github.com/silentbicycle/${SPELL}/archive/v$VERSION.tar.gz
     SOURCE_HASH=sha512:0d7d70d868972d5287741752cc355967253c7aadca256c46b90957cffdaddab392b96a16730106ff83e7c0131122780a80fe179a7c459fd985e89d9ea46558e4
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-$VERSION"
        WEB_SITE="https://github.com/silentbicycle/theft"
      LICENSE[0]=ISC
         ENTERED=20181201
           SHORT="a C library for property-based testing"
cat << EOF
theft is a C library for property-based testing. Where example-based testing
checks test results for specific input, theft tests assert general properties
("for any possible input, [some condition] should hold"), generate input,
and search for counter-examples that make the test fail. If theft finds any
failures, it also knows how to generate and test simpler variants of the
input, and then report the simplest counter-example found.
EOF
