This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
tutorial_forward_substitution [2024/09/25 17:25] sanjay [Your first Alpha program (not hello world)] |
tutorial_forward_substitution [2024/09/26 07:56] (current) sanjay [How to check more thoroughly] |
||
|---|---|---|---|
| Line 166: | Line 166: | ||
| ==make verify== | ==make verify== | ||
| - | This only becomes useful if you have a known, correct implementation of the function. | + | This only becomes useful if you have a known, correct implementation of the function. |
| - | Compiles the code with another code named '' | + | Compiles the code with another code named '' |
| Users can provide different programs as '' | Users can provide different programs as '' | ||
| ==make verify-rand== | ==make verify-rand== | ||