Closed Bug 540725 Opened 15 years ago Closed 14 years ago

Add ability to specify random seed to runtests so that random order can be replicated.

Categories

(Tamarin Graveyard :: Tools, defect)

Product:
Tamarin Graveyard
Component:
Tools
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
VERIFIED FIXED

People

(Reporter: cpeyer, Assigned: cpeyer)

Details

Attachments

(1 file)

Always use a random seed when running --random, display the seed in the run header. Add ability to specify the seed via commandline.
2.08 KB, patch
brbaker
: review+
Details | Diff | Splinter Review 
Runtests has a --random flag which will run the tests in random order, but there is no way to replicate the order to repeat the exact same test run.
Attachment #422417 - Flags: review?(brbaker) → review+
Pushed TR changeset 3693	a74323f0fe6c
Status: ASSIGNED → RESOLVED
Closed: 14 years ago
Resolution: --- → FIXED
Status: RESOLVED → VERIFIED
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Creator:
Created:
Updated:
Size: