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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
.\" Text automatically generated by txt2man
.TH atst 1 "23 November 2019" "" "Scotch user's manual"
.SH NAME
\fBatst \fP- test the consistency of target architectures
\fB
.SH SYNOPSIS
.nf
.fam C
\fBatst\fP [\fIoptions\fP] [\fIafile\fP] [\fIlfile\fP]
.fam T
.fi
.fam T
.fi
.SH DESCRIPTION
The \fBatst\fP program checks the consistency of a Scotch
decomposition-defined target architecture and, in case of success,
outputs some statistics regarding the number of target vertices and
the length of paths linking them. Target architectures define the
topology of the target graphs used by static mapping programs
\fBgmap\fP(1) and \fBdgmap\fP(1).
.PP
The resulting statistics are stored in file \fIlfile\fP. When file names
are not specified, data is read from standard input and written to
standard output. Standard streams can also be explicitly represented
by a dash '-'.
.PP
When the proper libraries have been included at compile time, \fBatst\fP
can directly handle compressed files, both as input and output. A
stream is treated as compressed whenever its name is postfixed with
a compressed file extension, such as in 'brol.tgt.bz2' or '-.gz'. The
compression formats which can be supported are the bzip2 format
('.bz2'), the gzip format ('.gz'), and the lzma format ('.lzma').
.SH OPTIONS
.TP
.B
\fB-h\fP
Display some help.
.TP
.B
\fB-V\fP
Display program version and copyright.
.SH EXAMPLE
Test the consistency of architecture arch.tgt:
.PP
.nf
.fam C
$ atst arch.tgt
.fam T
.fi
.SH SEE ALSO
\fBacpl\fP(1), \fBamk_ccc\fP(1), \fBamk_grf\fP(1), \fBdgmap\fP(1), \fBgmap\fP(1), \fBgmtst\fP(1).
.PP
Scotch user's manual.
.SH AUTHOR
Francois Pellegrini <francois.pellegrini@labri.fr>
|
