Log of /trunk/proof/proof/src/TSelVerifyDataSet.cxx

---

Revision 44017 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Mon Apr 30 08:33:43 2012 UTC (2 years, 8 months ago) by ganis
File length: 13039 byte(s)
Diff to previous 43251

Fixes for coverity issues

---

Revision 43251 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Tue Mar 6 10:01:34 2012 UTC (2 years, 10 months ago) by ganis
File length: 13038 byte(s)
Diff to previous 42883

Fix some coverities

---

Revision 42883 - (view) (download) (as text) (annotate) - [select for diffs]
Modified Mon Feb 6 12:03:21 2012 UTC (2 years, 11 months ago) by ganis
File length: 12689 byte(s)
Diff to previous 42882

Remove unused include

---

Revision 42882 - (view) (download) (as text) (annotate) - [select for diffs]
Added Mon Feb 6 11:10:21 2012 UTC (2 years, 11 months ago) by ganis
File length: 12709 byte(s)

    From Sangsu Ryu and me.
    Add support for paralell dataset verification. This is implemented via a dedicated
    TSelector (TSelVerifyDataSet) which is run over the list of files in the dataset via
    TPacketizerFile. The file order is preserved using the recently introduced index in
    TFileInfo.
    Parallel verification is the now the default. For test and comparison purposes it is
    still possible to verify datasets serially by specifying 'S' in the option field of
    VerifyDataSet and RegisterDataSet .

    To avoid/reduce code duplication some of the static functions in TDataSetManager have
    refactorized. The overall behavior should be unchanged.