From f636cac6d387e53ef31c299a578fee9f913c1ba0 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 29 Jun 2015 14:43:20 +0200
Subject: [PATCH] Document xlang changes
---
doc/options.rst | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/doc/options.rst b/doc/options.rst
index 8d711c7a8..02f990fb3 100644
--- a/doc/options.rst
+++ b/doc/options.rst
@@ -39,11 +39,6 @@ These options are mutually exclusive. By default, ``--verify`` is chosen.
Runs termination analysis. Can be used along ``--verify``.
-* ``--xlang``
-
- Transforms a program written in the :ref:`xlang` language extension into a :ref:`purescala` program,
- then runs program verification.
-
* ``--noop``
Runs the program through the extraction and preprocessing phases, then outputs it in the specified
@@ -176,6 +171,11 @@ These options are available by all Leon components:
Set a timeout for each attempt to prove one verification condition/
repair one function (in sec.)
+* ``--xlang``
+
+ Support for additional language constructs described in :ref:`xlang`.
+ These constructs are desugared into :ref:`purescala` before other operations.
+
Additional Options, by Component:
---------------------------------
--
GitLab