k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

RE: [[K-user] ] test cases cannot terminate using krun

From: "Rosu, Grigore" <grosu AT illinois.edu>
To: 朱晓冉 <zhuxrsandra AT 163.com>, "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: RE: [[K-user] ] test cases cannot terminate using krun
Date: Sun, 25 Oct 2015 12:34:00 +0000
Accept-language: en-US

Can you please tell us what version of K are you using? We recommend using the stable, K 3.6 version for now, because we are making heavy changes in the current code base in order to release K 4.0.

Grigore

From: 朱晓冉 [zhuxrsandra AT 163.com]
Sent: Sunday, October 25, 2015 7:19 AM
To: k-user AT cs.uiuc.edu
Subject: [[K-user] ] test cases cannot terminate using krun

Hi,

I wonder why a program may not run successfully. When I test my project written in K, some of my test cases cannot run successfully, i.e. when inputting the command “krun test —search”, nothing outputs and it seems that this program cannot terminate.

I have found which rules lead to this condition. But it seems there is no syntax error or semantic error in these rules.

Are there any possible reasons that may result in this problem?

Many thanks!

Bests,

Xiaoran Zhu

[[K-user] ] test cases cannot terminate using krun, 朱晓冉, 10/25/2015
- RE: [[K-user] ] test cases cannot terminate using krun, Rosu, Grigore, 10/25/2015
  - Re: [[K-user] ] test cases cannot terminate using krun, 朱晓冉, 10/25/2015
    - RE: [[K-user] ] test cases cannot terminate using krun, Moore, Brandon Michael, 10/29/2015
      - Re: [[K-user] ] test cases cannot terminate using krun, 朱晓冉, 10/31/2015