Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.VarOrderTest

NameTestsErrorsFailuresTime(s)
VarOrderTest9000.196

Tests

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