Eelco Dolstra 96c7b98bf0 * Argument support in Fix. Arguments can be passed through the ...

builder using the `args' binding:

  ("args", ["bla", True, IncludeFix("aterm/aterm.fix")])

  Note that packages can also be declared as inputs by specifying them
  in the argument list.

2003-08-15 13:01:45 +00:00

..

args

* Argument support in Fix. Arguments can be passed through the

2003-08-15 13:01:45 +00:00

fun

* Function application test cases.

2003-08-14 12:37:50 +00:00

infrec

* Detect infinite loops using blackholing.

2003-08-14 12:37:31 +00:00

slow

* Test cases for races.

2003-07-30 13:35:46 +00:00

slow2

* Started using Berkeley DB environments. This is necessary for

2003-07-31 13:47:13 +00:00