Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.core.QueueTest

Name	Tests	Errors	Failures	Time(s)
QueueTest	4	0	0	0.045

Tests

Name	Status	Type	Time(s)
testInsert	Success		0.010
testDequeue	Success		0.000
testClear	Success		0.001
testSize	Success		0.000