John, after your last commits I rebuild creduce-current with clang-current [ as usually, I'm not sure about correctness of my changes in creduce_delta. and I'm not sure what I see: my errors or errors in creduce ]
0. No new modifications are needed to build creduce. Patch from early April still sufficient. I use Fedora 19/x64 beta, gcc-4.8.1, clang-3.4 rev.183606 1. run_tests (full log attached) -- sounds like now env.var TMPDIR changes tmpdir for 'run_tests' I don't know what is the cause of changes in comparison with mid-May behavior: -- my fingers start press keys smarter -- creduce update -- perl update -- gcc update or smth else -- tests 0..3 PASS -- tests 4, 5, 7 FAIL with running 4 interestingness test(s) in parallel test (and sanity check) fails at ../../creduce/creduce line 160. cannot remove path when cwd is /home/dimhen/tmp/creduce-6tu4JF for /home/dimhen/tmp/creduce-6tu4JF: at /usr/share/perl5/File/Temp.pm line 902. -- test 6 PASS with 1 crash and no crash-file present ===< pass_clang :: return-void >=== Stack dump: 0. <eof> parser at end of file sh: line 1: 23784 Segmentation fault (core dumped) /home/dimhen/build/creduce/creduce/../clang_delta/clang_delta --transformation=return-void --counter=1 /home/dimhen/tmp/creduce-WStouG/small.c > /tmp/file0I5kCp ======================================= OOPS: clang_delta crashed; please consider mailing clang_delta_crash_tmp_file0I5kCp.c to [email protected] and we will try to fix the bug please also let us know what version of C-Reduce you are using -- at end there are 180 .o files and 3 dirs in TMPDIR 2. creduce problem with gcc/lto -- 115 KLOC ii-file -- test script run 0.6s -- creduce x.sh x.ii run 30 minutes -- reduce ii-file down to 31 lines -- print "< pass_special :: c >" -- I interrupt after 30 minutes of nothing new -- creduce --sanity-checks --save-temps --slow x.sh x.ii -- run 3 hours -- last line at screen was "< pass_special :: b >" -- ii-file 48 lines Second 'creduce x.sh x.ii' freeze after <1 mun with 18-lines file. After manual reduction file is 7 lines. I attach these files. Say me, please, if I can do something to help to debug.those issues. Thanks, Dmitry 2013/6/3 John Regehr <[email protected]>: >> With recent fixes creduce works faster for me (200 s --> 50s) and >> achieves more (20 lines output instead of 21 :) ) > > > Great to hear! > > Some more C++ reduction improvements are coming soon, as well as some > initial work on "sanitizing" test cases to remove information that might > leak details about sensitive software. > > John >
run_tests.log.bz2
Description: BZip2 compressed data
hang_1.ii
Description: Binary data
hang_2.ii
Description: Binary data
manual.ii
Description: Binary data
second_run_hang_3.ii
Description: Binary data
