Java 7 with emma and junit causing java.lang.Verif

Question

So I'm getting these errors

[junit] Illegal local variable table length 17 in method test.nz.ac.massey.cs.sdc.log4jassignment.s06005586.AppenderLayoutTest.()V

[junit] java.lang.VerifyError: Expecting a stackmap frame at branch target 11 in method test.nz.ac.massey.cs.sdc.log4jassignment.s06005586.StressTest.()V at offset 4

[junit] java.lang.ClassFormatError: Illegal local variable table length 17 in method test.nz.ac.massey.cs.sdc.log4jassignment.s06005586.AppenderLayoutTest.()V

And I would like to know how I can fix it...

What I've Read:

• Java 7 JVM VerifyError in Eclipse
• Testng, Emma, Cobertura, coverage and JDK 7 result in ClassFormatError and VerifyError
• EMMA code coverage
• Using EMMA with ANT for JUnit test coverage reporting
• Bug 141252 - 1.6 compiler ClassFormatError: Illegal class name "" in class file (FIXED)
• 3.2. : instrumenting Java classes on-the-fly

What I've Done:

Resources:

• build.xml (will expire in 24 hours)
• build.xml output (will expire in 24 hours)
• Ant diagnostics report (will expire in 24 hours)
• previous question
• maven-emma-plugin-0.6.jar
• emma.jar and emma_ant.jar

For some really crazy reason the JUnit Passes on target="test" but fails on target="emmatest".

This is the output on command prompt from java -version

java version "1.7.0_03"
Java(TM) SE Runtime Environment (build 1.7.0_03-b05)
Java HotSpot(TM) 64-Bit Server VM (build 22.1-b02, mixed mode)

I've tried setting the default arguments for my java7 JRE to -XX:-UseSplitVerifier from here

arguments http://iforce.co.nz/i/dvsh1eoc.n0m.png

I've also tried to make it complaint with JDK 1.6 on the Project Properties.

complaint http://iforce.co.nz/i/4jxuj4eb.rae.png

JUnit direct testing results (no errors on the trace)

junit http://iforce.co.nz/i/wicrvpsi.5gw.png

I'm out of options, please help! :(

Answer 1

Sounds strange.

First, check your code to see if you have used new grammar features introduced in JDK 1.7, like try-with-resource or diamond operator.

I met this VerifyError before, when using cobertura. However, when I set -XX:-UseSplitVerifier to the junit task, it is resolved. I set it by specifying a <jvmarg> nested element to junit task.

Also, most of the coverage libs seem to support JDK1.7 very poorly. However, Jacoco works fine with JDK1.7 so I am using it for now.

Answer 2

-XX:-UseSplitVerifier

Does work for me and I did not have to downgrade JRE from 1.7 to 1.6