mbeddr / mbeddr.formal

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
https://sites.google.com/site/fastenroot/home
Apache License 2.0
23 stars 14 forks source link

Gradle exception: org.codehaus.groovy.runtime.GStringImpl cannot be cast to java.lang.String #13

Closed norro closed 4 years ago

norro commented 5 years ago

Gradle build of master fails with error message Execution failed for task ':build_allScripts'. java.lang.ClassCastException: org.codehaus.groovy.runtime.GStringImpl cannot be cast to java.lang.String, see https://build.mbeddr.com/viewLog.html?buildId=269833&tab=buildResultsDiv&buildTypeId=Mbeddr2_Mbeddr_Gradle_Fasten_Build

Can't locate it more precisely, yet. Seems to be somewhere in build/scripts/build_all_scripts.xml, though.

norro commented 5 years ago

@danielratiu I looked around for a while now and can't find the reason (also due to the fact that I am quite new to gradle). Could you please have a look if you find the cause?

norro commented 4 years ago

fixed with 1013dff341 and 42ef418e, thanks @wsafonov!