From 68c9004b2e3b8fdb9a56d82018b63730c1179ea2 Mon Sep 17 00:00:00 2001 From: vhavlena Date: Tue, 28 Apr 2026 19:27:23 +0200 Subject: [PATCH] doc: add sd_ind_or_opt parameter for Fin-reorganization optimization in TELA procedure --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 8fbcfe3..72cc649 100644 --- a/README.md +++ b/README.md @@ -85,6 +85,7 @@ The complementation and the inclusion checking might be adjusted by the followin | `sh-break` | `yes`,`no` | Enable shared breakpoint across partial algorithms; when `yes` partial algorithms that support shared breakpoints propagate a common breakpoint across partitions | | `tela_det_alg` | `inductive`, `dnf-tela` | Algorithm selection for complementing deterministic TELA components (default `dnf-tela`) | | `sd_ind_sh_break` | `root`, `inf_tree` | Shared breakpoint mode for inductive TELA procedure (assumes `tela_det_alg=inductive`) | +| `sd_ind_or_opt` | `yes`,`no` | Enable Fin-reorganization optimization in the inductive TELA procedure (assumes `tela_det_alg=inductive`) | ## Testing