Update README.md

Author: martin-henz

README.md

@@ -68,7 +68,7 @@ For testing your Source programs, you need `node` and `yarn`.
 Write your test cases in the folder `__tests__` in each `src` subfolder. The name of the file specifies the targeted Source.
 For example, `src/steppers/source-0.js` is the Source and a test case might be `src/steppers/__tests__/source-0.js.test1`.
 
-Each test case is appended to your Source, and then run, using Source §4. The last line of the test case is a comment that must contain the expected result. For example, a stepper test case may be:
+Each test case is appended to your Source, and then run with `js-slang` (using Source §4). The last line of the test case is a comment that must contain the expected result. For example, a stepper test case may be:
 ```
 parse_and_evaluate("! (1 === 1 && 2 > 3);");
 // true