./Builte test-all fails on the first test about evm-semantics

[ehildenb]

What system are you on? (Linux, MacOS, Windows)

We'll try to reproduce.

[msaxena2]

Could you try running the command again with the latest version of K (by installing from source, instead of using the releases)? You can also try using ./tests/ci/with-k uiuck ./Build test-all - it'll install the latest version of K for you. Unfortunately, we haven't updated the releases in a while, but we can also provide a new release of K that'll work with the semantics.

[pirapira]

I was indeed running a release https://github.com/kframework/k/releases/tag/v4.0.0

[pirapira]

First I saw

$ ./tests/ci/with-k uiuck ./Build test-all                                   
Warning: JAVA_HOME environment variable is not set.                                             
[ERROR] COMPILATION ERROR :                                                                           
[ERROR] No compiler is provided in this environment. Perhaps you are running on a JRE rather than a JDK?                         
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:3.1:compile (default-compile) on project frontend: Compilation failure
[ERROR] No compiler is provided in this environment. Perhaps you are running on a JRE rather than a JDK?             
[ERROR] -> [Help 1]                                                                           
[ERROR]                                                                                                                                         
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.                                        
[ERROR] Re-run Maven using the -X switch to enable full debug logging.                                     
[ERROR]                                                                                                        
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException                             
[ERROR]                                                                                                                
[ERROR] After correcting the problems, you can resume the build with the command                                                               
[ERROR]   mvn <goals> -rf :frontend                                                  

After adding jdk_9/bin to PATH, I saw

$ ./tests/ci/with-k uiuck ./Build test-all
WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by com.google.inject.internal.cglib.core.$ReflectUtils$1 (file:/usr/share/maven/lib/guice.jar) to method java.lang.ClassLoader.defineClass(java.lang.String,byte[],int,int,java.security.ProtectionDomain)
WARNING: Please consider reporting this to the maintainers of com.google.inject.internal.cglib.core.$ReflectUtils$1
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-enforcer-plugin:1.4.1:enforce (enforce-java) on project parent: Execution enforce-java of goal org.apache.maven.plugins:maven-enforcer-plugin:1.4.1:enforce failed: An API incompatibility was encountered while executing org.apache.maven.plugins:maven-enforcer-plugin:1.4.1:enforce: java.lang.ExceptionInInitializerError: null              
[ERROR] -----------------------------------------------------
[ERROR] realm =    plugin>org.apache.maven.plugins:maven-enforcer-plugin:1.4.1
[ERROR] strategy = org.codehaus.plexus.classworlds.strategy.SelfFirstStrategy
[ERROR] urls[0] = file:/home/yh/.m2/repository/org/apache/maven/plugins/maven-enforcer-plugin/1.4.1/maven-enforcer-plugin-1.4.1.jar
[ERROR] urls[1] = file:/home/yh/.m2/repository/backport-util-concurrent/backport-util-concurrent/3.1/backport-util-concurrent-3.1.jar
[ERROR] urls[2] = file:/home/yh/.m2/repository/org/codehaus/plexus/plexus-interpolation/1.11/plexus-interpolation-1.11.jar
[ERROR] urls[3] = file:/home/yh/.m2/repository/org/slf4j/slf4j-jdk14/1.5.6/slf4j-jdk14-1.5.6.jar
[ERROR] urls[4] = file:/home/yh/.m2/repository/org/slf4j/jcl-over-slf4j/1.5.6/jcl-over-slf4j-1.5.6.jar
[ERROR] urls[5] = file:/home/yh/.m2/repository/org/apache/maven/reporting/maven-reporting-api/2.2.1/maven-reporting-api-2.2.1.jar
[ERROR] urls[6] = file:/home/yh/.m2/repository/org/apache/maven/doxia/doxia-sink-api/1.1/doxia-sink-api-1.1.jar                                     
[ERROR] urls[7] = file:/home/yh/.m2/repository/org/apache/maven/doxia/doxia-logging-api/1.1/doxia-logging-api-1.1.jar
[ERROR] urls[8] = file:/home/yh/.m2/repository/commons-cli/commons-cli/1.2/commons-cli-1.2.jar
[ERROR] urls[9] = file:/home/yh/.m2/repository/org/codehaus/plexus/plexus-interactivity-api/1.0-alpha-4/plexus-interactivity-api-1.0-alpha-4.jar
[ERROR] urls[10] = file:/home/yh/.m2/repository/org/sonatype/plexus/plexus-sec-dispatcher/1.3/plexus-sec-dispatcher-1.3.jar
[ERROR] urls[11] = file:/home/yh/.m2/repository/org/sonatype/plexus/plexus-cipher/1.4/plexus-cipher-1.4.jar
[ERROR] urls[12] = file:/home/yh/.m2/repository/org/codehaus/plexus/plexus-utils/3.0.22/plexus-utils-3.0.22.jar
[ERROR] urls[13] = file:/home/yh/.m2/repository/commons-lang/commons-lang/2.3/commons-lang-2.3.jar       
[ERROR] urls[14] = file:/home/yh/.m2/repository/org/apache/maven/enforcer/enforcer-api/1.4.1/enforcer-api-1.4.1.jar
[ERROR] urls[15] = file:/home/yh/.m2/repository/org/apache/maven/enforcer/enforcer-rules/1.4.1/enforcer-rules-1.4.1.jar
[ERROR] urls[16] = file:/home/yh/.m2/repository/org/apache/maven/shared/maven-common-artifact-filters/1.4/maven-common-artifact-filters-1.4.jar
[ERROR] urls[17] = file:/home/yh/.m2/repository/org/beanshell/bsh/2.0b4/bsh-2.0b4.jar
[ERROR] urls[18] = file:/home/yh/.m2/repository/org/apache/maven/shared/maven-dependency-tree/2.2/maven-dependency-tree-2.2.jar
[ERROR] urls[19] = file:/home/yh/.m2/repository/org/codehaus/plexus/plexus-component-annotations/1.5.5/plexus-component-annotations-1.5.5.jar
[ERROR] urls[20] = file:/home/yh/.m2/repository/org/eclipse/aether/aether-util/0.9.0.M2/aether-util-0.9.0.M2.jar
[ERROR] urls[21] = file:/home/yh/.m2/repository/org/codehaus/plexus/plexus-i18n/1.0-beta-6/plexus-i18n-1.0-beta-6.jar
[ERROR] urls[22] = file:/home/yh/.m2/repository/org/apache/maven/plugin-testing/maven-plugin-testing-harness/1.3/maven-plugin-testing-harness-1.3.jar
[ERROR] urls[23] = file:/home/yh/.m2/repository/org/codehaus/plexus/plexus-archiver/2.2/plexus-archiver-2.2.jar
[ERROR] urls[24] = file:/home/yh/.m2/repository/org/codehaus/plexus/plexus-io/2.0.4/plexus-io-2.0.4.jar
[ERROR] urls[25] = file:/home/yh/.m2/repository/junit/junit/4.11/junit-4.11.jar                           
[ERROR] urls[26] = file:/home/yh/.m2/repository/org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar
[ERROR] Number of foreign imports: 1          
[ERROR] import: Entry[import  from realm ClassRealm[maven.api, parent: null]]
[ERROR]              
[ERROR] -----------------------------------------------------: begin 0, end 3, length 1                                                                            
[ERROR] -> [Help 1]                                                                                                                                                             
[ERROR]                                                                                                                                                                  
[ERROR] To see the full stack trace of the errors, re-run Maven with the -e switch.                                                                                   
[ERROR] Re-run Maven using the -X switch to enable full debug logging.                                                                                                 
[ERROR]                                                                                                                                                                  
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/PluginContainerException

I will further try to install K from source, and if that does not work, try KVM.

[msaxena2]

These issues seem to be related to the use of Java 9. Would it be possible for you to run the command again, but with Java 8 instead of java 9? Also, you need xmllint installed to make the tests pass. This should have the tool up and running.

We haven't tested K with java 9 yet - we'll iron out the java 9 issues soon.

[pirapira]

Oh I see, that's a great piece of information. I'll try to find JDK Java 8.

Maybe it's about time I fall back to KVM.

[dwightguth]

Note also that if you're just interested in running the tests and not doing verification, they will run a whole lot faster if you use with-k rvk. On Sep 22, 2017 12:41 PM, "Yoichi Hirai" <[email protected]> wrote: Oh I see, that's a great piece of information. I'll try to find JDK Java 8. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#90 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AE3jnb3ni7V-Eh8YYgYtGEoZdxDOqEp0ks5sk_E1gaJpZM4PfhYA> .

[pirapira]

With JDK 8, I saw at least one test passing!

== success: tests/VMTests/vmArithmeticTest/add0.json