We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c124196 commit 909bdedCopy full SHA for 909bded
tests/imp/README.md
@@ -25,7 +25,11 @@ info.
25
There is one program in the test suite which is different:
26
* [interactive.imp](interactive.imp)
27
28
-This program can be used to play with the ERC20 functions interactively.
+This program can be used to play with the ERC20 functions interactively,
29
+as shown in the following video:
30
+
31
+[](https://www.youtube.com/watch?v=aM-JE99C-fQ)
32
33
This can be useful when you add new tests.
34
35
### Kompiling IMP and Executing Tests
0 commit comments