[Open-scap] [PATCH 0/3] Fix & tests for <complex-check negate="true">

[Simon Lukasik]

Following please find fixes and tests for xccdf:complex-check resolver.

Thanks,
--
Simon Lukasik


Simon Lukasik (3):
  Test for flawed corner case of xccdf:complex-check
  The result must not be negated with each _resolve_operation call.
  Test for a single negated check.

 ac_probes/configure.ac.tpl                         |    1 +
 configure.ac                                       |    1 +
 src/XCCDF_POLICY/xccdf_policy.c                    |   21 ++++-
 tests/API/XCCDF/Makefile.am                        |    2 +
 tests/API/XCCDF/unittests/Makefile.am              |   38 ++++++++++
 tests/API/XCCDF/unittests/all.sh                   |    8 ++
 .../test_xccdf_complex_check_nand.xccdf.xml        |   18 +++++
 ...est_xccdf_complex_check_single_negate.xccdf.xml |   12 +++
 tests/API/XCCDF/unittests/test_xccdf_shall_pass.c  |   51 +++++++++++++
 tests/API/XCCDF/unittests/unit_helper.c            |   78 ++++++++++++++++++++
 tests/API/XCCDF/unittests/unit_helper.h            |   33 ++++++++
 11 files changed, 258 insertions(+), 5 deletions(-)
 create mode 100644 tests/API/XCCDF/unittests/Makefile.am
 create mode 100755 tests/API/XCCDF/unittests/all.sh
 create mode 100644 tests/API/XCCDF/unittests/test_xccdf_complex_check_nand.xccdf.xml
 create mode 100644 tests/API/XCCDF/unittests/test_xccdf_complex_check_single_negate.xccdf.xml
 create mode 100644 tests/API/XCCDF/unittests/test_xccdf_shall_pass.c
 create mode 100644 tests/API/XCCDF/unittests/unit_helper.c
 create mode 100644 tests/API/XCCDF/unittests/unit_helper.h