From a3da254923849285baeea96393930596913465c6 Mon Sep 17 00:00:00 2001 From: Charlotte Van Petegem Date: Wed, 31 Jan 2024 19:11:23 +0100 Subject: [PATCH] Small language changes --- book.org | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/book.org b/book.org index c2d745f..3f08cbc 100644 --- a/book.org +++ b/book.org @@ -1247,8 +1247,7 @@ The exit status code can only be checked in this testcase as well. Like the communication with Dodona, this test plan is a JSON document under the hood. In the following sections, we will use the JSON representation of the test plan to discuss how TESTed works. Exercise authors use the DSL to write their tests, which we will discuss in Section\nbsp{}[[DSL]]. -This DSL is converted by TESTed to the JSON test plan before execution. - +This DSL is internally converted by TESTed to a JSON test plan before execution. A test plan of the example exercise can be seen in Listing\nbsp{}[[lst:technicaltestedtestplan]]. #+CAPTION: Basic structure of a test plan.