Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.VarOrderTest

NameTestsErrorsFailuresTime(s)
VarOrderTest9000.043

Tests

NameStatusTypeTime(s)
testNewVarSuccess0.011
testNewVarintSuccess0.000
testSelectSuccess0.000
testSetVarDecaySuccess0.000
testUndoSuccess0.001
testUpdateVarSuccess0.000
testVarDecayActivitySuccess0.000
testNumberOfInterestingVariablesSuccess0.001
testGetVocabularySuccess0.000
Properties »