k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] krun crashes on OS X 10.9 (Mavericks)

From: Daniele Filaretti <dfilaretti AT gmail.com>
To: k-user AT cs.uiuc.edu
Subject: [K-user] krun crashes on OS X 10.9 (Mavericks)
Date: Wed, 23 Oct 2013 21:20:37 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi everyone,

today, after upgrading to 10.9 (Mavericks) krun stopped to work. In particular, it gives the following message regardless of what is being run:

Exception in thread "main" java.lang.ExceptionInInitializerError

	at org.kframework.krun.tasks.MaudeTask.<clinit>(MaudeTask.java:22)

	at org.kframework.krun.runner.KRunner.run(KRunner.java:122)

	at org.kframework.krun.runner.KRunner.main(KRunner.java:135)

	at org.kframework.backend.maude.krun.MaudeKRun.executeKRun(MaudeKRun.java:82)

	at org.kframework.backend.maude.krun.MaudeKRun.run(MaudeKRun.java:113)

	at org.kframework.krun.Main.normalExecution(Main.java:361)

	at org.kframework.krun.Main.execute_Krun(Main.java:1149)

	at org.kframework.main.Main.main(Main.java:59)

Caused by: java.lang.StringIndexOutOfBoundsException: String index out of range: -4

	at java.lang.String.substring(String.java:1911)

	at org.kframework.utils.maude.MaudeRun.initializeMaudeExecutable(MaudeRun.java:56)

	at org.kframework.utils.maude.MaudeRun.<clinit>(MaudeRun.java:16)

	... 8 more

I built it again (latest sources downloaded from github, build successful), but then same problems. I also tried to use the binaries from http://www.kframework.org/index.php/Main_Page, but again same error.

Does anyone have the same issues?

Thank you!

Daniele

[K-user] krun crashes on OS X 10.9 (Mavericks), Daniele Filaretti, 10/23/2013
- Re: [K-user] krun crashes on OS X 10.9 (Mavericks), Andrei Stefanescu, 10/23/2013
  - Re: [K-user] krun crashes on OS X 10.9 (Mavericks), Daniele Filaretti, 10/24/2013
    - Re: [K-user] krun crashes on OS X 10.9 (Mavericks), Rosu, Grigore, 10/24/2013