Release 1.10

This release brings several smaller and medium-sized features:

• Tool-info modules for all participants of SV-COMP'17,
  and support for results of the category correct-unconfirmed,
  which is used by SV-COMP if witness validation was not successful.
  To conform with SV-COMP's definitions, violations of the SV-COMP reachability property unreach-call
  will now be reported as false(unreach-call) instead of false(reach).
• Measurement of block I/O if the blkio cgroup controller is available
  (experimental, please read the documentation!).
• Measurement of the energy used by the CPU for a run,
  if the tool cpu-energy-meter is installed on the system
  (experimental, please read the documentation!).
• Ability to limit the disk space a tool can occupy in container mode.
• Various minor improvements to make container mode more robust.
• The feature for executing benchmarks under different user accounts with sudo
  is now marked as deprecated and may be removed in the future,
  consider using the container mode instead for isolating runs
  (cf. issue #215).
• table-generator is now more flexible:
  • Builtin support for certain unit conversions,
    such that the scale factor does not always need to be explicitly specified.
    Furthermore, unit conversions now work even if the values already have a unit.
  • Column titles can be manually specified with the displayTitle attribute`.
  • What columns are relevant for the "diff" table can be configured.

Please also note that we are considering dropping the support for Python 3.2
and maybe 3.3 in BenchExec 2.0 (to be released in a few weeks).
If this is a problem for you, please tell us in issue #207.