-----------------------------------------------------
lines 6-28 of file: example/abs_normal/abs_normal.cpp
-----------------------------------------------------

{xrst_begin abs_normal.cpp}

Abs-Normal Form Examples and Tests Driver
#########################################

Running These Tests
*******************
After executing the :ref:`cmake-name` command
form the :ref:`download@Distribution Directory`,
you can build and run these tests with the commands::

   cd build
   make check_example_abs_normal

Note that your choice of :ref:`cmake@generator` may require using
an different version of make; e.g., ``ninja`` .

{xrst_literal
   // BEGIN C++
   // END C++
}

{xrst_end abs_normal.cpp}