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== |