K-user mailing list

["Rosu, Grigore" <grosu AT illinois.edu>]

This has also been reported as Issue 457 
(http://code.google.com/p/k-framework/issues/detail?id=457).  I thought that 
it was fixed ... Dwight, do you know more about this?

Grigore



________________________________________
From: 
k-user-bounces AT cs.uiuc.edu
 
[k-user-bounces AT cs.uiuc.edu]
 on behalf of Robby Findler 
[robby AT eecs.northwestern.edu]
Sent: Thursday, October 18, 2012 2:01 PM
To: 
k-user AT cs.uiuc.edu
Subject: [K-user] krun in parallel?

Is krun safe to run in parallel? I've been running it in parallel for
a while with no seeming problems, but just recently (and I'm sorry I
didn't save the error message), I got some kind of error about krun
writing to or reading from a file in the .k/ directory that looks like
it could have come from two different kruns stomping on each other. Is
that possible?

Robby
_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user