k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] unit testing

From: Robby Findler <robby AT eecs.northwestern.edu>
To: k-user AT cs.uiuc.edu
Subject: [K-user] unit testing
Date: Mon, 1 Oct 2012 13:48:01 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi all:

What's the recommended way to build up a test suite of programs for
a K model? I can use k-run, and some scripting with a bunch of files
in a directory, but I'm wondering if there is some more convenient
setup?

Thanks,
Robby

[K-user] unit testing, Robby Findler, 10/01/2012
- Re: [K-user] unit testing, David Lazar, 10/01/2012
  - Re: [K-user] unit testing, Robby Findler, 10/01/2012