.ta 0.2i 0.4i 0.6i 0.8i 0.10i 
.ta 0.5i 1.0i 1.5i 2.0i 2.5i 3.0i
.ds RH
.ds CH %
.bp
.TL
.br
.br
Using Race Coverage with GCT
.so ../include/version.ms
Document version 1.2
.LP
This manual describes how to measure \fIrace coverage\fR, an extension of
routine coverage useful for system testing of multi-threaded or
multi-processor programs.
.ds RH Documentation 
.pn 1
.bp 
.ps 16 
.B Preface 
.br 
.ps 12 
.sp 1
.LP
.so ../include/copying.ms
.LP
.so ../include/contact
.sp 2.5i
.so ../include/copyright.ms
