wycc.lang.SyntaxError: assertion failed


Solutions on the web1

Solution icon of github
via GitHub by DavePearce
, 9 months ago
assertion failed

Stack trace

wycc.lang.SyntaxError: assertion failed
	at wycc.lang.SyntaxError.syntaxError(SyntaxError.java:341)
	at wycs.builders.Wyal2WycsBuilder.build(Wyal2WycsBuilder.java:220)
	at wybs.util.StdBuildRule.apply(StdBuildRule.java:109)
	at wybs.util.StdProject.build(StdProject.java:256)
	at wyc.util.WycBuildTask.buildEntries(WycBuildTask.java:518)
	at wyc.util.WycBuildTask.build(WycBuildTask.java:486)
	at wyc.WycMain.run(WycMain.java:228)
	at wyjc.WyjcMain.main(WyjcMain.java:83)
Caused by: wycs.transforms.VerificationCheck$AssertionFailure: assertion failed
	at wycs.transforms.VerificationCheck.checkValid(VerificationCheck.java:220)
	at wycs.transforms.VerificationCheck.apply(VerificationCheck.java:164)
	at wycs.transforms.VerificationCheck.apply(VerificationCheck.java:43)
	at wycs.builders.Wyal2WycsBuilder.process(Wyal2WycsBuilder.java:811)
	at wycs.builders.Wyal2WycsBuilder.build(Wyal2WycsBuilder.java:208)
	... 6 more

Write tip

You have a different solution? A short tip here would help you and many other users who saw this issue last week.

Users with the same issue

You are the first who have seen this exception. Write a tip to help other users and build your expert profile.