-
Notifications
You must be signed in to change notification settings - Fork 137
Open
Description
Test command:
time creduce --n 200 ./creduce.sh ~/gerrit/minijava/mathintrinsictest/src/java/util/Integer/JSR166TestCase.java 2>&1 | tee reduce.logresult:
===< 218905 >===
running 200 interestingness tests in parallel
===< pass_unifdef :: 0 >===
===< pass_comments :: 0 >===
(15.9 %, 62499 bytes)
(20.3 %, 59205 bytes)
===< pass_ifs :: 0 >===
===< pass_includes :: 0 >===
===< pass_line_markers :: 0 >===
Died at /usr/share/creduce/perl/pass_line_markers.pm line 26.
at /usr/bin/creduce line 35.
main::__ANON__("Died at /usr/share/creduce/perl/pass_line_markers.pm line 26.\x{a}") called at /usr/share/creduce/perl/pass_line_markers.pm line 26
pass_line_markers::count_line_markers("JSR166TestCase.java", 0) called at /usr/share/creduce/perl/pass_line_markers.pm line 40
pass_line_markers::new("JSR166TestCase.java", 0) called at /usr/bin/creduce line 384
main::call_new("pass_line_markers", "JSR166TestCase.java", 0) called at /usr/bin/creduce line 621
main::delta_pass(HASH(0x5575308180c0)) called at /usr/bin/creduce line 1096
real 0m24.724s
user 15m38.256s
sys 1m34.810s
version info:
> cat /etc/os-release ; perl -v ; creduce --version
PRETTY_NAME="Ubuntu 22.04.5 LTS"
NAME="Ubuntu"
VERSION_ID="22.04"
VERSION="22.04.5 LTS (Jammy Jellyfish)"
VERSION_CODENAME=jammy
ID=ubuntu
ID_LIKE=debian
HOME_URL="https://www.ubuntu.com/"
SUPPORT_URL="https://help.ubuntu.com/"
BUG_REPORT_URL="https://bugs.launchpad.net/ubuntu/"
PRIVACY_POLICY_URL="https://www.ubuntu.com/legal/terms-and-policies/privacy-policy"
UBUNTU_CODENAME=jammy
This is perl 5, version 34, subversion 0 (v5.34.0) built for x86_64-linux-gnu-thread-multi
(with 67 registered patches, see perl -V for more detail)
Copyright 1987-2021, Larry Wall
Perl may be copied only under the terms of either the Artistic License or the
GNU General Public License, which may be found in the Perl 5 source kit.
Complete documentation for Perl, including FAQ lists, should be found on
this system using "man perl" or "perldoc perl". If you have access to the
Internet, point your browser at http://www.perl.org/, the Perl Home Page.
creduce 2.11.0 (unknown)
Metadata
Metadata
Assignees
Labels
No labels