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.156

Tests

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