Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.pb.WatchPbTest

Name	Tests	Errors	Failures	Time(s)
WatchPbTest	1	0	0	0.348

Tests

Name	Status	Type	Time(s)
testNormalize	Success		0.262