From a112e5ccc22854aa28baad84bd4e9af0f4fe29a3 Mon Sep 17 00:00:00 2001 From: Philipp Ruemmer Date: Fri, 22 Mar 2024 12:16:11 +0100 Subject: [PATCH] option -sym --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 31931474..852d381d 100644 --- a/README.md +++ b/README.md @@ -54,6 +54,8 @@ A full list of options can be obtained by calling ./eld -h. The options -disj, -abstract, -stac can be used to control predicate generation. For the option -stac to work, it is currently necessary to have Yices (version 1) installed, as this is a dependency of the Flata library. +The option -sym can be used to switch to the symbolic execution engine of Eldarica, which will then be applied instead of CEGAR. + Papers ------