[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#833430: marked as done (creduce doesn't pass the files to reduce to the test script)



Your message dated Sun, 7 Aug 2016 12:58:56 +0200
with message-id <d90614a8-8916-3281-12c5-82a63a602a38@debian.org>
and subject line Re: Bug#833430: creduce doesn't pass the files to reduce to the test script
has caused the Debian Bug report #833430,
regarding creduce doesn't pass the files to reduce to the test script
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
833430: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=833430
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: creduce
Version: 2.5.0-1
Severity: serious
Tags: sid stretch

creduce doesn't pass the files to reduce to the test script. This used to work ...

$ creduce --debug ./cr2.sh foo.c
successfully checked prereqs for pass_include_includes
successfully checked prereqs for pass_includes
successfully checked prereqs for pass_unifdef
successfully checked prereqs for pass_comments
successfully checked prereqs for pass_blank
successfully checked prereqs for pass_clang_binsrch
successfully checked prereqs for pass_lines
successfully checked prereqs for pass_special
successfully checked prereqs for pass_ternary
successfully checked prereqs for pass_balanced
successfully checked prereqs for pass_clang
successfully checked prereqs for pass_peep
successfully checked prereqs for pass_ints
successfully checked prereqs for pass_indent
successfully checked prereqs for pass_clex

sanity check... tmpdir = /tmp/creduce-eButm5
usage: /home/packages/tmp/cr2.sh <file.c>

C-Reduce cannot run because the interestingness test does not return
zero. Please ensure that it does so not only in the directory where
you are invoking C-Reduce, but also in an arbitrary temporary
directory containing only the files that are being reduced. In other
words, running these commands:

  DIR=`mktemp -d`
  cp /home/packages/tmp/foo.c $DIR
  cd $DIR
  /home/packages/tmp/cr2.sh
  echo $?

should result in "0" being echoed to the terminal.

See "creduce --help" for more information.


$ cat cr2.sh
#! /bin/sh

if [ $# -ne 1 ]; then
  echo "usage: $0 <file.c>" 1>&2
  exit 1
fi

export LANG=C

CLANG=${CLANG:-clang}
GCC=${GCC:-gcc}
ARGS="-c -Wall"
msg="warning: unused variable 'j' [-Wunused-variable]"

$GCC $ARGS $1 > out.txt 2>&1
if fgrep -q ": error:" out.txt; then
  exit 1
fi
if fgrep -q "$msg" out.txt; then
  if fgrep -v "$msg" out.txt | fgrep ": warning:"; then
    exit 1
  fi
  exit 0
fi
exit 1

$ cat foo.c
int main()
{
        int i = 1, j;

        return i;
}

--- End Message ---
--- Begin Message ---
On 05.08.2016 09:13, Niko Tyni wrote:
> On Thu, Aug 04, 2016 at 11:26:58AM +0200, Matthias Klose wrote:
>> Package: creduce
>> Version: 2.5.0-1
>> Severity: serious
>> Tags: sid stretch
>>
>> creduce doesn't pass the files to reduce to the test script. This used to work ...
>>
>> $ creduce --debug ./cr2.sh foo.c
> 
>> sanity check... tmpdir = /tmp/creduce-eButm5
>> usage: /home/packages/tmp/cr2.sh <file.c>
> 
> Looks like commit creduce-2.4.0-7-g0bfd954
>  https://github.com/csmith-project/creduce/commit/0bfd95402e126293bb4f7df1435770f66da98bb1
> changed the sanity check to run the "interestingness test" without
> arguments, so your "exit 1" in cr2.sh usage() now makes it fail.
> 
>  +The interestingness test should not expect any command line arguments. 
> 
> Hope this helps,

argh, closing as PEBCAK.

--- End Message ---

Reply to: