Name Date Size #Lines LOC

..--

bug.1001148.SpecSizeVariations.dH A D25-Apr-20081.9 KiB8837

err.BufSizeVariations1.dH A D07-Aug-20131.8 KiB8536

err.BufSizeVariations2.dH A D18-Oct-20132 KiB9136

err.D_ACT_SPEC.SpeculateWithBreakPoint.dH A D25-Apr-20081.4 KiB7029

err.D_ACT_SPEC.SpeculateWithChill.dH A D25-Apr-20081.4 KiB7029

err.D_ACT_SPEC.SpeculateWithCopyOut.dH A D25-Apr-20081.5 KiB7030

err.D_ACT_SPEC.SpeculateWithCopyOutStr.dH A D25-Apr-20081.5 KiB6930

err.D_ACT_SPEC.SpeculateWithPanic.dH A D25-Apr-20081.4 KiB7029

err.D_ACT_SPEC.SpeculateWithRaise.dH A D25-Apr-20081.4 KiB6929

err.D_ACT_SPEC.SpeculateWithStop.dH A D25-Apr-20081.4 KiB6929

err.D_AGG_COMM.AggAftCommit.dH A D25-Apr-20081.1 KiB416

err.D_AGG_SPEC.SpeculateWithAvg.dH A D25-Apr-20081.3 KiB6828

err.D_AGG_SPEC.SpeculateWithCount.dH A D25-Apr-20081.3 KiB6828

err.D_AGG_SPEC.SpeculateWithLquant.dH A D25-Apr-20081.4 KiB7332

err.D_AGG_SPEC.SpeculateWithMax.dH A D25-Apr-20081.3 KiB6324

err.D_AGG_SPEC.SpeculateWithMin.dH A D25-Apr-20081.3 KiB6324

err.D_AGG_SPEC.SpeculateWithQuant.dH A D25-Apr-20081.4 KiB6828

err.D_AGG_SPEC.SpeculateWithStddev.dH A D02-Aug-20101.3 KiB6627

err.D_AGG_SPEC.SpeculateWithSum.dH A D25-Apr-20081.3 KiB6324

err.D_COMM_COMM.CommitAftCommit.dH A D25-Apr-20081.6 KiB8341

err.D_COMM_COMM.DisjointCommit.dH A D25-Apr-20081.8 KiB10358

err.D_COMM_DREC.CommitAftDataRec.dH A D25-Apr-20081.3 KiB5215

err.D_DREC_COMM.DataRecAftCommit.dH A D25-Apr-20081.5 KiB7432

err.D_DREC_COMM.ExitAfterCommit.dH A D25-Apr-20081.3 KiB6224

err.D_EXIT_SPEC.ExitAftSpec.dH A D25-Apr-20081.3 KiB7131

err.D_PRAGMA_MALFORM.NspecExpr.dH A D25-Apr-20081.6 KiB7835

err.D_PRAGMA_OPTSET.HugeNspecValue.dH A D25-Apr-20081.6 KiB7735

err.D_PRAGMA_OPTSET.InvalidSpecSize.dH A D25-Apr-20081.4 KiB5415

err.D_PRAGMA_OPTSET.NegSpecSize.dH A D25-Apr-20081.7 KiB7937

err.D_PROTO_LEN.SpecNoId.dH A D25-Apr-20081.3 KiB6222

err.D_SPEC_COMM.SpecAftCommit.dH A D25-Apr-20081.5 KiB7332

err.D_SPEC_DREC.SpecAftDataRec.dH A D25-Apr-20081.4 KiB7131

err.D_SPEC_SPEC.SpecAftSpec.dH A D25-Apr-20081.5 KiB6727

err.NegativeBufSize.dH A D25-Apr-20082 KiB8937

err.NegativeNspec.dH A D25-Apr-20081.3 KiB4912

err.NegativeSpecSize.dH A D25-Apr-20081.3 KiB489

err.SpecSizeVariations1.dH A D25-Apr-20081.7 KiB7937

err.SpecSizeVariations2.dH A D25-Apr-20081.7 KiB7937

tst.CommitAfterDiscard.dH A D25-Apr-20081.7 KiB8743

tst.CommitWithZero.dH A D25-Apr-20081.7 KiB6728

tst.DataRecAftDiscard.dH A D25-Apr-20081.6 KiB7837

tst.DiscardAftCommit.dH A D25-Apr-20081.7 KiB8643

tst.DiscardAftDataRec.dH A D25-Apr-20081.3 KiB5113

tst.DiscardAftDiscard.dH A D25-Apr-20081.8 KiB8643

tst.DiscardWithZero.dH A D25-Apr-20081.7 KiB6829

tst.ExitAftDiscard.dH A D25-Apr-20081.3 KiB5720

tst.NoSpecBuffer.dH A D11-Aug-20171.5 KiB6626

tst.NoSpecBuffer.exeH A D09-Jan-2024933 315

tst.SpecSizeVariations1.dH A D25-Apr-20081.7 KiB7937

tst.SpecSizeVariations2.dH A D25-Apr-20081.7 KiB7937

tst.SpecSizeVariations3.dH A D05-Sep-20131.7 KiB7937

tst.SpeculateWithRandom.dH A D25-Apr-20081.3 KiB6020

tst.SpeculationCommit.dH A D25-Apr-20081.7 KiB7635

tst.SpeculationDiscard.dH A D25-Apr-20081.7 KiB7535

tst.SpeculationID.dH A D25-Apr-20081.3 KiB5113

tst.SpeculationWithZero.dH A D25-Apr-20081.5 KiB6626

tst.TwoSpecBuffers.dH A D25-Apr-20081.7 KiB7835

tst.negcommit.dH A D25-Apr-20081,008 389

tst.negspec.dH A D25-Apr-20081,011 389

tst.zerosize.dH A D25-Apr-20081.2 KiB5422