kframework/k — pull request #399 by daejunpark (2014-04-25 03:38:49+00:00)
Title: KTEST: Support alternative krun executable. Issue #396

An alternative krun executable can be provided by using the additional `````` node. This option is useful especially for running ```kast``` instead of ```krun``` for certain programs. (See Issue #396.)

@dwightguth @osa1 Please review this code.
@radumereuta Please check if this change is sufficient for you.

CHANGES:
* Create additional `````` node (optional) in both `````` and `````` nodes.
* Allow multiple programs in the ```name``` attributes of `````` node.

USAGE:
```

```