diff --git a/docs/manual.en.md b/docs/manual.en.md index 019e78e..3be1e56 100644 --- a/docs/manual.en.md +++ b/docs/manual.en.md @@ -3541,6 +3541,7 @@ function apply_execution_plan(desync, instance) Copies the instance identification and its arguments from an [execution plan](#execution_plan) `instance` into the desync object, thereby recreating the desync state as if the `instance` were called directly by C code. With one exception : apply_arg_prefix is not applied because args can refer a blob created by previous conditionally executed instances. + The [execution plan](#execution_plan) is provided by the C function `execution_plan()` as an array of `instance` elements. ### verdict_aggregate diff --git a/docs/manual.md b/docs/manual.md index bc86911..07fdf17 100644 --- a/docs/manual.md +++ b/docs/manual.md @@ -3720,6 +3720,7 @@ function apply_execution_plan(desync, instance) Копирует в desync идентификацию инстанса и его аргументы из элемента [execution plan](#execution_plan) `instance`, тем самым воссоздает состояние desync, как если бы `instance` был вызван напрямую C кодом. За одним исключением : apply_arg_prefix не применяется, поскольку может содержать несуществующие блоб, существование которого зависит от условного выполнения предыдущих истансов. + [execution plan](#execution_plan) выдается C функцией `execution_plan()` как массив, элементами которого являются `instance`. ### verdict_aggregate