sofya.ed
Class BranchTracer

java.lang.Object
  sofya.ed.BranchTracer

public class BranchTracer
extends java.lang.Object

A branch tracer collects branch coverage information and writes it as a trace file. Interpretation of the trace data requires using the -ext command line option to the sofya.viewers.CFViewer control flow graph viewer.

Version:

11/16/2006

Author:

Alex Kinneer

Constructor Summary

BranchTracer()

Method Summary

static void

main(java.lang.String[] argv)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BranchTracer

public BranchTracer()

Method Detail

main

public static void main(java.lang.String[] argv)