Warning:
This wiki has been archived and is now read-only.
Equality
From RIF
| Test Type | PositiveEntailmentTest | ||||
|---|---|---|---|---|---|
| Contributor | Adrian Paschke | ||||
| Status | Obsolete | ||||
| Record | |||||
| Dialect | BLD | ||||
| Purpose | |||||
| Description | Factorial function using equality to assign computed values to variables. This test case also demonstrates recursion and the use of mathematical built-in function such as >, -, +. | ||||
| SeeAlso | |||||
| SpecRef | |||||
| Premises |
|
||||
| Conclusion |
|