overture icon indicating copy to clipboard operation
overture copied to clipboard

Merge of pull request breaks the javagen tests

Open idhugoid opened this issue 6 years ago • 0 comments

Description

Build is broken after the commits in #714

Steps to Reproduce

Run mvn with tests

Tests run: 23, Failures: 0, Errors: 1, Skipped: 0, Time elapsed: 6.44 sec <<< FAILURE! - in org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest test22: src/test/resources/unsupported/SetPatternInSetComp.vdmpp Time elapsed: 0.054 sec <<< ERROR! java.lang.NullPointerException at org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest.genData(UnsupportedJavaCodeGenTest.java:123) at org.overture.codegen.tests.other.UnsupportedJavaCodeGenTest.test(UnsupportedJavaCodeGenTest.java:80)

The content of the problematic file, src/test/resources/unsupported/SetPatternInSetComp.vdmpp file:

class Entry

operations public Run: () ==> set of int Run() == return { x | {x} in set { {1}, {2} } & true };

end Entry

idhugoid avatar Mar 16 '20 13:03 idhugoid