14 lines
334 B
INI
14 lines
334 B
INI
SPECIFICATION FairSpec
|
|
|
|
CONSTANTS
|
|
Deliveries = {delivery1}
|
|
MaxBuilds = 2
|
|
MaxRequests = 2
|
|
MaxTime = 2
|
|
Interval <- TwoTicks
|
|
InitialPolicy <- OnBuildPolicy
|
|
|
|
INVARIANTS TypeOK GlobalCap SuccessfulInputs AutoInterval
|
|
PROPERTIES InputsStable AutoSelection NoRestart ManualProgress AutoProgress
|
|
|
|
CHECK_DEADLOCK FALSE
|