TestParameters:
TYPE =
MACHINE
DEPENDENT
RECORD [
useDoradoClock (0): BOOLEAN ← FALSE,
countOnlyEmulatorCycles (1): BOOLEAN ← FALSE,
checkResults (2:0..0): BOOLEAN ← TRUE,
testRandomly (2:1..15): BOOLEAN ← FALSE,
passes (3): Counter ← StandardPasses,
trialsPerPass (4), maxTrialsPerPass (5): Counter ← StandardTrialsPerPass,
testsPerTrial (6), maxTestsPerTrial (7): Counter ← StandardTestsPerTrial,
spying (8:0..0): BOOLEAN ← FALSE,
spyOnProcs (8:1..1): BOOLEAN ← TRUE,
showSpyData (8:2..15): {afterEachTest, afterAllTests} ← afterAllTests ];