. s/del_annotation/delete_annotation/
. no callers to update...


git-svn-id: https://insight.labri.fr/svn/trunk@929 00316523-1ed1-4fdc-9313-76483a3f41dc
add and implement Microcode::delete_annotation_everywhere() which removes
all annotations on all MicrocodeNodes and StmtArrows having a given AnnotationId


git-svn-id: https://insight.labri.fr/svn/trunk@930 00316523-1ed1-4fdc-9313-76483a3f41dc
add option -F/--forget-annotation which can be specified multiple times, and
removes all the given annotations from any output of cfgrecovery


git-svn-id: https://insight.labri.fr/svn/trunk@931 00316523-1ed1-4fdc-9313-76483a3f41dc
if the string @@Test-Ignore-Line@@ appears at the beginning of a line,
the rest of the line will be removed prior to comparing a test result
with the corresponding expected test result


git-svn-id: https://insight.labri.fr/svn/trunk@932 00316523-1ed1-4fdc-9313-76483a3f41dc
use the pruned file to check the diff


git-svn-id: https://insight.labri.fr/svn/trunk@933 00316523-1ed1-4fdc-9313-76483a3f41dc
Get rid of the ugly hack which rewrote test results during configure and made
us dependent on the objdump tool.

Introduce two things:

 . get rid of the "asm" annotation in any output that is compared against a
   supposed-correct result (rationale: this is very decoder-backend-dependent)
 . allow some lines to be ignored during computation of a diff
   (rationale: we keep the interesting info to investigate)
   Such lines have to start with @@Test-Ignore-Line@@ and are expected to be
   present in both output and expected output in order to match

This required rototilling a bit, and all the results were regenerated...

XXX ... except those that necessitate valgrind. The first person who can
    get hold of a Linux+valgrind and feels like it is welcome to update them
    after checking that no new leak was introduced by my changes.

Solution by Gerald, implementation and bugs by me.


git-svn-id: https://insight.labri.fr/svn/trunk@934 00316523-1ed1-4fdc-9313-76483a3f41dc
get rid of the pruned version of the test result one diff is done, to
avoid cluttering the tests build directories


git-svn-id: https://insight.labri.fr/svn/trunk@935 00316523-1ed1-4fdc-9313-76483a3f41dc