k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Failed to run IO wrapper

From: "Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>
To: k-user AT cs.uiuc.edu
Subject: [K-user] Failed to run IO wrapper
Date: Tue, 21 Feb 2012 17:33:56 +0100
Authentication-results: mr.google.com; spf=pass (google.com: domain of hossein.haeri AT gmail.com designates 10.236.197.66 as permitted sender) smtp.mail=hossein.haeri AT gmail.com; dkim=pass header.i=hossein.haeri AT gmail.com
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
List-id: <k-user.cs.uiuc.edu>

Dear all,

When I try to krun p5.exp in the K Primer, I get the following behaviour:

<bash>
hossein@ubuntu:~/Documents/KFram/Teachup/Exp1$
krun p5.exp
Warning: kast reported errors or warnings:
Warning: "programCompile.maude", line 9: ambiguous term, two parses are:
parse_(_+_(print_(1), _+_(print_(2), print_(3))))
-versus-
parse_(_+_(_+_(print_(1), print_(2)), print_(3)))

Arbitrarily taking the first as correct.

Error:
Failed to run IO wrapper:
java -jar /home/hossein/Sources/k-framework/core/java/wrapperAndServer.jar
--commandFile
/home/hossein/Documents/KFram/Teachup/Exp1/.k/krun_tmp/maude_in.maude
--errorFile /home/hossein/Documents/KFram/Teachup/Exp1/.k/krun_tmp/maude_err
--maudeFile ./exp-compiled.maude --moduleName EXP --outputFile
/home/hossein/Documents/KFram/Teachup/Exp1/.k/krun_tmp/maude_out
</bash>

Leaving the warning aside for the moment, I understand something is
going wrong with Java here. Is that a bug? Or, should I rather get it
fixed on my side? If latter, how? Interestingly enough, when I krun
--search, I do get the configuration printouts. (See the P.S. for the
bash dump.)

TIA,
--Hossein

P.S.

hossein@ubuntu:~/Documents/KFram/Teachup/Exp1$
krun p5.exp --search
Warning: kast reported errors or warnings:
Warning: "programCompile.maude", line 9: ambiguous term, two parses are:
parse_(_+_(print_(1), _+_(print_(2), print_(3))))
-versus-
parse_(_+_(_+_(print_(1), print_(2)), print_(3)))

Arbitrarily taking the first as correct.

Search results:

Solution 1, state 3:

<k>
6
</k>
<streams>
<in>
.
</in>
<out>
"321"
</out>
</streams>

--------------------------------------------------------------------------------------------------------------

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------

[K-user] Failed to run IO wrapper, Seyed H. HAERI (Hossein), 02/21/2012