(Use BOFF's profiler instead; see "expl boff profile")
.profile( [sourcefile [, tablesize]] )
.PROFILE generates a full profile (by statement) of a B program. The most useful results are generated when the B program is compiled using the B command without the "-Tables" option. In order to provide profiling at the statement level, the source file name (as a string) should be provided to the profiler, in order that it can associate the source line with the timing information. The table size is 127 words as the default, and may have to be increased for large programs.
The results are written onto the file ".profile" when execution has ended.
Copyright © 1996, Thinkage Ltd.