Name Date Size #Lines LOC

..--

bug.1001148.SpecSizeVariations.dH A D25-Dec-20221.9 KiB8636

err.BufSizeVariations1.dH A D26-Jul-20121.8 KiB8536

err.BufSizeVariations2.dH A D05-Feb-20132 KiB9136

err.D_ACT_SPEC.SpeculateWithBreakPoint.dH A D26-Feb-20221.3 KiB6828

err.D_ACT_SPEC.SpeculateWithChill.dH A D26-Feb-20221.3 KiB6828

err.D_ACT_SPEC.SpeculateWithCopyOut.dH A D26-Feb-20221.4 KiB6829

err.D_ACT_SPEC.SpeculateWithCopyOutStr.dH A D26-Feb-20221.4 KiB6729

err.D_ACT_SPEC.SpeculateWithPanic.dH A D26-Feb-20221.3 KiB6828

err.D_ACT_SPEC.SpeculateWithRaise.dH A D26-Feb-20221.3 KiB6728

err.D_ACT_SPEC.SpeculateWithStop.dH A D26-Feb-20221.3 KiB6728

err.D_AGG_COMM.AggAftCommit.dH A D25-Dec-20221.1 KiB395

err.D_AGG_SPEC.SpeculateWithAvg.dH A D25-Dec-20221.3 KiB6627

err.D_AGG_SPEC.SpeculateWithCount.dH A D25-Dec-20221.3 KiB6627

err.D_AGG_SPEC.SpeculateWithLquant.dH A D25-Dec-20221.4 KiB7131

err.D_AGG_SPEC.SpeculateWithMax.dH A D25-Dec-20221.3 KiB6123

err.D_AGG_SPEC.SpeculateWithMin.dH A D25-Dec-20221.3 KiB6123

err.D_AGG_SPEC.SpeculateWithQuant.dH A D25-Dec-20221.3 KiB6627

err.D_AGG_SPEC.SpeculateWithStddev.dH A D04-May-20091.3 KiB6627

err.D_AGG_SPEC.SpeculateWithSum.dH A D25-Dec-20221.3 KiB6123

err.D_COMM_COMM.CommitAftCommit.dH A D25-Dec-20221.6 KiB8140

err.D_COMM_COMM.DisjointCommit.dH A D25-Dec-20221.8 KiB10157

err.D_COMM_DREC.CommitAftDataRec.dH A D25-Dec-20221.3 KiB5014

err.D_DREC_COMM.DataRecAftCommit.dH A D25-Dec-20221.5 KiB7231

err.D_DREC_COMM.ExitAfterCommit.dH A D25-Dec-20221.3 KiB6023

err.D_EXIT_SPEC.ExitAftSpec.dH A D25-Dec-20221.3 KiB6930

err.D_PRAGMA_MALFORM.NspecExpr.dH A D25-Dec-20221.6 KiB7634

err.D_PRAGMA_OPTSET.HugeNspecValue.dH A D25-Dec-20221.6 KiB7534

err.D_PRAGMA_OPTSET.InvalidSpecSize.dH A D25-Dec-20221.3 KiB5214

err.D_PRAGMA_OPTSET.NegSpecSize.dH A D25-Dec-20221.7 KiB7836

err.D_PROTO_LEN.SpecNoId.dH A D25-Dec-20221.3 KiB6021

err.D_SPEC_COMM.SpecAftCommit.dH A D25-Dec-20221.5 KiB7131

err.D_SPEC_DREC.SpecAftDataRec.dH A D25-Dec-20221.3 KiB6930

err.D_SPEC_SPEC.SpecAftSpec.dH A D25-Dec-20221.4 KiB6526

err.NegativeBufSize.dH A D25-Dec-20221.9 KiB8736

err.NegativeNspec.dH A D25-Dec-20221.3 KiB4711

err.NegativeSpecSize.dH A D25-Dec-20221.3 KiB468

err.SpecSizeVariations1.dH A D25-Dec-20221.7 KiB7836

err.SpecSizeVariations2.dH A D25-Dec-20221.7 KiB7836

tst.CommitAfterDiscard.dH A D25-Dec-20221.7 KiB8542

tst.CommitWithZero.dH A D25-Dec-20221.6 KiB6527

tst.DataRecAftDiscard.dH A D25-Dec-20221.6 KiB7636

tst.DiscardAftCommit.dH A D25-Dec-20221.7 KiB8442

tst.DiscardAftDataRec.dH A D25-Dec-20221.2 KiB4912

tst.DiscardAftDiscard.dH A D25-Dec-20221.7 KiB8442

tst.DiscardWithZero.dH A D25-Dec-20221.7 KiB6628

tst.ExitAftDiscard.dH A D25-Dec-20221.2 KiB5519

tst.NoSpecBuffer.dH A D25-Dec-20221.5 KiB6324

tst.SpecSizeVariations1.dH A D25-Dec-20221.7 KiB7836

tst.SpecSizeVariations2.dH A D25-Dec-20221.7 KiB7836

tst.SpecSizeVariations3.dH A D26-Jul-20121.8 KiB8236

tst.SpeculateWithRandom.dH A D25-Dec-20221.2 KiB5819

tst.SpeculationCommit.dH A D25-Dec-20221.7 KiB7434

tst.SpeculationDiscard.dH A D25-Dec-20221.6 KiB7334

tst.SpeculationID.dH A D25-Dec-20221.2 KiB4912

tst.SpeculationWithZero.dH A D25-Dec-20221.5 KiB6425

tst.TwoSpecBuffers.dH A D25-Dec-20221.6 KiB7634

tst.negcommit.dH A D25-Dec-2022972 368

tst.negspec.dH A D25-Dec-2022975 368

tst.zerosize.dH A D25-Dec-20221.1 KiB5221