This command runs all the assertions in the assertion list for which no result is currently known. It can be used to perform checks in bulk, for regression testing or other purposes.
Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.