auto

Synopsis: auto;

This macro invokes the automatic strategies of KeY. Ths maximal number of step can be set before using special variables.

Arguments:

No arguments required.