blob: 3a31f7d36bc83bf72238528eea73f1cab59d7e78 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
# Parameter definitions for thorn TimerReport
# $Header$
private:
INT out_every "How often to output timer report to screen" STEERABLE=ALWAYS
{
0 :: "Never (default)"
1:* :: "Every so many iterations"
} 0
INT out_at "Output timer information at a given iteration" STEERABLE=ALWAYS
{
-1 :: "Never (default)"
0:* :: "At this iteration"
} -1
STRING out_filename "File name for timer reports" STEERABLE=ALWAYS
{
"^$" :: "empty filename: print to stdout"
"^.+$" :: "otherwise: print to that file"
} ""
BOOLEAN before_checkpoint "Before a checkpoint" STEERABLE=ALWAYS
{
} "no"
BOOLEAN next "On next iteration" STEERABLE=ALWAYS
{
} "no"
shares: IO
USES STRING out_dir
USES INT checkpoint_every
|
