C.3.4 Hypothesis objects

Hypotheses represent potential checks which FDR2 could perform. They correspond to the list of checks displayed in the main FDR2 window. They are produced by methods on ism objects (deadlockfree, for instance).

hypothesis assert

This starts the check and returns a string indicating the result. Possible return values are

true

xtrue

result is true

false

xfalse

result is false

broken

check completed, but result was unsound

The distinction between true/xtrue and false/xfalse is meaningful only when debugging.

Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.