=======================
translation.simplifying
=======================

* **name:** simplifying

* **description:** Simplify flow graphs

* **command-line:** --translation-simplifying

* **command-line for negation:** --no-translation-simplifying

* **option type:** boolean option

* **default:** True




Internal option.

.. internal
