k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

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

From: Andrei Stefanescu <andreistef AT gmail.com>
To: Daniele Filaretti <dfilaretti AT gmail.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] krun crashes on OS X 10.9 (Mavericks)
Date: Wed, 23 Oct 2013 17:58:29 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Can you run maude on your machine? You can check by typing:
~/k/lib/maude/binaries/maude.intelDarwin

Andrei

On Wed, Oct 23, 2013 at 3:20 PM, Daniele Filaretti <dfilaretti AT gmail.com> wrote:

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 mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

[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