Demo

This online demo lets you apply Rehearal to a Puppet manifest. We've provided several small manifests below that illustrate the kinds of bugs that Rehearsal can catch.

Limitations

The main limitation of Rehearsal is that it does not support manifests with embedded shell scripts (the exec resource type). Rehearsal supports several common built-in resource types, but some platform specific types are not supported. (In particular, resources that depend on Mac OS X and Windows are not supported.) For more details on its limitations and our future work, see the paper.