defects4j
defects4j copied to clipboard
rjust
JSOUP mutation analysis failed for bug 4,6 and 9 with the same error: code too large
Apart from build failure, I am getting this warning
[javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded.
Full error trace is copied here.
Checking out 20ed24ce to /tmp/gen_tests.pl_31188_1592533140................ OK Init local repository...................................................... OK Tag post-fix revision...................................................... OK Copy generated Ant build file.............................................. OK Run post-checkout hook..................................................... OK Initialize fixed program version........................................... OK Apply patch................................................................ OK Initialize buggy program version........................................... OK Diff 20ed24ce:0b56f3e5..................................................... OK Apply patch................................................................ OK Tag pre-fix revision....................................................... OK Check out program version: Jsoup-6f........................................ OK Running ant (compile)...................................................... OK Creating temporary output directory........................................ OK Generating (regression) tests with: evosuite............................... OK Creating test suite archive................................................ OK Creating output directory.................................................. OK Moving test suite archive to automated_tests_evosuite...................... OK Compiling mutant definition (mml).......................................... OK Running ant (mutate)....................................................... FAIL Executed command: cd /home/unimelb.edu.au/nneelofar/Documents/Matilda/software-testing/fault-localization/defects4j-data/Jsoup/data/6-Jsoup-evosuite/Jsoup-6f && /home/unimelb.edu.au/nneelofar/Downloads/defects4j/major/bin/ant -f /home/unimelb.edu.au/nneelofar/Downloads/defects4j/framework/projects/defects4j.build.xml -Dd4j.home=/home/unimelb.edu.au/nneelofar/Downloads/defects4j -Dd4j.dir.projects=/home/unimelb.edu.au/nneelofar/Downloads/defects4j/framework/projects -Dbasedir=/home/unimelb.edu.au/nneelofar/Documents/Matilda/software-testing/fault-localization/defects4j-data/Jsoup/data/6-Jsoup-evosuite/Jsoup-6f -Dbuild.compiler=major.ant.MajorCompiler mutate 2>&1 Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=1G; support was removed in 8.0 Buildfile: /home/unimelb.edu.au/nneelofar/Downloads/defects4j/framework/projects/defects4j.build.xml
check.classes.uptodate:
mutate:
test-offline:
get-deps:
jsoup-from-maven.compile: [mkdir] Created dir: /home/unimelb.edu.au/nneelofar/Documents/Matilda/software-testing/fault-localization/defects4j-data/Jsoup/data/6-Jsoup-evosuite/Jsoup-6f/target/classes [javac] /home/unimelb.edu.au/nneelofar/Documents/Matilda/software-testing/fault-localization/defects4j-data/Jsoup/data/6-Jsoup-evosuite/Jsoup-6f/maven-build.xml:74: warning: 'includeantruntime' was not set, defaulting to build.sysclasspath=last; set to false for repeatable builds [javac] Compiling 34 source files to /home/unimelb.edu.au/nneelofar/Documents/Matilda/software-testing/fault-localization/defects4j-data/Jsoup/data/6-Jsoup-evosuite/Jsoup-6f/target/classes [javac] Major: Mutation enabled using mml file: /home/unimelb.edu.au/nneelofar/Documents/Matilda/software-testing/fault-localization/defects4j-data/Jsoup/data/6-Jsoup-evosuite/Jsoup-6f/.mml/default.mml.bin [javac] warning: [options] bootstrap class path not set in conjunction with -source 1.5 [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Object.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation': class file for jdk.Profile+Annotation not found [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/String.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/String.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/net/URL.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/Map.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/io/IOException.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Enum.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Comparable.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/io/Serializable.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/nio/charset/Charset.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/nio/charset/CharsetEncoder.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/ArrayList.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/regex/Pattern.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/regex/PatternSyntaxException.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/net/MalformedURLException.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collections.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/Set.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Iterable.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/Map$Entry.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Integer.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuilder.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashMap.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/regex/Matcher.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedHashMap.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/Iterator.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/ListIterator.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/io/File.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/io/InputStream.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashSet.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/nio/ByteBuffer.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/net/HttpURLConnection.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/net/URLEncoder.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/zip/GZIPInputStream.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SuppressWarnings.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStream.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractMap.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSet.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractCollection.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedHashSet.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalStateException.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/net/URL.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/Map.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collection.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/io/IOException.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Enum.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Comparable.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/io/Serializable.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/nio/charset/Charset.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/nio/charset/CharsetEncoder.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/ArrayList.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/List.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/regex/Pattern.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/regex/PatternSyntaxException.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/net/MalformedURLException.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/Collections.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Override.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Annotation.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/Set.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Iterable.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Integer.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/StringBuilder.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashMap.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/regex/Matcher.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedHashMap.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/Iterator.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/ListIterator.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Character.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/io/File.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/io/InputStream.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/HashSet.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/nio/ByteBuffer.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/net/HttpURLConnection.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/net/URLEncoder.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/zip/GZIPInputStream.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Target.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/ElementType.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Retention.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] warning: /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/RetentionPolicy.class): major version 52 is newer than 51, the highest major version supported by this compiler. [javac] It is recommended that the compiler be upgraded. [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/SuppressWarnings.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/io/OutputStream.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractMap.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractSet.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/AbstractCollection.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedList.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/util/LinkedHashSet.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/IllegalStateException.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/RuntimeException.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Exception.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Throwable.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/Override.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /opt/java/jdk1.8.0_181/lib/ct.sym(META-INF/sym/rt.jar/java/lang/annotation/Annotation.class): warning: Cannot find annotation method 'value()' in type 'Profile+Annotation' [javac] /home/unimelb.edu.au/nneelofar/Documents/Matilda/software-testing/fault-localization/defects4j-data/Jsoup/data/6-Jsoup-evosuite/Jsoup-6f/src/main/java/org/jsoup/nodes/Entities.java:22: error: code too large [javac] private static final Pattern unescapePattern = Pattern.compile("&(#(x|X)?([0-9a-fA-F]+)|[a-zA-Z]+);?"); [javac] ^ [javac] #Generated Mutants: 4347 (727 ms) [javac] Note: /home/unimelb.edu.au/nneelofar/Documents/Matilda/software-testing/fault-localization/defects4j-data/Jsoup/data/6-Jsoup-evosuite/Jsoup-6f/src/main/java/org/jsoup/nodes/Node.java uses unchecked or unsafe operations. [javac] Note: Recompile with -Xlint:unchecked for details. [javac] 1 error [javac] 100 warnings
BUILD FAILED /home/unimelb.edu.au/nneelofar/Downloads/defects4j/framework/projects/defects4j.build.xml:178: The following error occurred while executing this line: /home/unimelb.edu.au/nneelofar/Documents/Matilda/software-testing/fault-localization/defects4j-data/Jsoup/data/6-Jsoup-evosuite/Jsoup-6f/maven-build.xml:74: Compile failed; see the compiler error output for details.
Total time: 2 seconds Cannot mutate project! at /home/unimelb.edu.au/nneelofar/Downloads/defects4j/framework/bin/d4j/d4j-mutation line 140. Compilation failed in require at /home/unimelb.edu.au/nneelofar/Downloads/defects4j/framework/bin/defects4j line 155.
Hi @neelofarhassan,
Thanks for reporting this. The problem here is that the mutated class (Entities.java) is very large with many statements that can be mutated. Once Major generates and embeds all mutants, the class exceeds the bytecode limit. Major should handle these corner cases automatically by using a smarter instrumentation.
As a workaround, you can use the -m flag, which PR #332 introduces. This flag allows you to specify what mutation operators Major should apply. To avoid generating too many mutants, you can, e.g., limit the set of mutation operators to AOR, LOR, SOR, COR, ROR, ORU, and STD -- that is, excluding LVR. You can further fine-tune the mutation process, depending on what your goals are.
Hope this helps until a new version of Major fixes this issue entirely.
Thanks @rjust , I didn't know about the -m flag introduces in PR #332. It would be great if this is added to the "mutation" command documentation "http://defects4j.org/html_doc/d4j/d4j-mutation.html" Thanks
I just merged this PR yesterday, so this is a very recent change. The documentation that you linked should be up to date; maybe you need to refresh. Let me know if you have other questions.
I'll keep this issue open until a new version of Major provides a permanent fix.
Best, René