Clover Test Report
Coverage timestamp: Fri Feb 14 2014 01:47:57 UTC
 
Class Tests Fail Error % Tests Success
CalculateTruthDynamicThreeModelTest 48 48 0 0 0 0 1.491 100%
 
Tests Started Status Message
CalculateTruthDynamicThreeModelTest.testTautology32CalculateTruthDynamicThreeModelTest.testTautology32 139233205346613 Feb 22:54:13 1 PASS 0.00400.004  
CalculateTruthDynamicThreeModelTest.testTautology21CalculateTruthDynamicThreeModelTest.testTautology21 139233205079413 Feb 22:54:10 1 PASS 0.00200.002  
CalculateTruthDynamicThreeModelTest.testTautology01CalculateTruthDynamicThreeModelTest.testTautology01 139233204596413 Feb 22:54:05 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology35CalculateTruthDynamicThreeModelTest.testTautology35 139233205446213 Feb 22:54:14 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology37CalculateTruthDynamicThreeModelTest.testTautology37 139233205485113 Feb 22:54:14 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology10CalculateTruthDynamicThreeModelTest.testTautology10 139233204829613 Feb 22:54:08 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology43CalculateTruthDynamicThreeModelTest.testTautology43 139233205688013 Feb 22:54:16 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology47CalculateTruthDynamicThreeModelTest.testTautology47 139233204570813 Feb 22:54:05 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology22CalculateTruthDynamicThreeModelTest.testTautology22 139233205096313 Feb 22:54:10 1 PASS 0.0170.017  
CalculateTruthDynamicThreeModelTest.testTautology30CalculateTruthDynamicThreeModelTest.testTautology30 139233205297413 Feb 22:54:12 1 PASS 0.00400.004  
CalculateTruthDynamicThreeModelTest.testTautology38CalculateTruthDynamicThreeModelTest.testTautology38 139233205509613 Feb 22:54:15 1 PASS 0.00500.005  
CalculateTruthDynamicThreeModelTest.testTautology25CalculateTruthDynamicThreeModelTest.testTautology25 139233205179213 Feb 22:54:11 1 PASS 0.00200.002  
CalculateTruthDynamicThreeModelTest.testTautology23CalculateTruthDynamicThreeModelTest.testTautology23 139233205123713 Feb 22:54:11 1 PASS 0.00200.002  
CalculateTruthDynamicThreeModelTest.testTautology17CalculateTruthDynamicThreeModelTest.testTautology17 139233204995113 Feb 22:54:09 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology20CalculateTruthDynamicThreeModelTest.testTautology20 139233205067713 Feb 22:54:10 1 PASS 0.00200.002  
CalculateTruthDynamicThreeModelTest.testTautology28CalculateTruthDynamicThreeModelTest.testTautology28 139233205258113 Feb 22:54:12 1 PASS 0.00200.002  
CalculateTruthDynamicThreeModelTest.testTautology15CalculateTruthDynamicThreeModelTest.testTautology15 139233204968113 Feb 22:54:09 1 PASS 0.0220.022  
CalculateTruthDynamicThreeModelTest.testTautology19CalculateTruthDynamicThreeModelTest.testTautology19 139233205038013 Feb 22:54:10 1 PASS 0.0150.015  
CalculateTruthDynamicThreeModelTest.testTautology16CalculateTruthDynamicThreeModelTest.testTautology16 139233204983113 Feb 22:54:09 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology34CalculateTruthDynamicThreeModelTest.testTautology34 139233205397813 Feb 22:54:13 1 PASS 0.00300.003  
CalculateTruthDynamicThreeModelTest.testTautology31CalculateTruthDynamicThreeModelTest.testTautology31 139233205318713 Feb 22:54:13 1 PASS 0.0290.029  
CalculateTruthDynamicThreeModelTest.testTautology11CalculateTruthDynamicThreeModelTest.testTautology11 139233204862113 Feb 22:54:08 1 PASS 0.00300.003  
CalculateTruthDynamicThreeModelTest.testTautology46CalculateTruthDynamicThreeModelTest.testTautology46 139233204534613 Feb 22:54:05 1 PASS 0.00  
CalculateTruthDynamicThreeModelTest.testTautology03CalculateTruthDynamicThreeModelTest.testTautology03 139233204661813 Feb 22:54:06 1 PASS 0.00200.002  
CalculateTruthDynamicThreeModelTest.testTautology05CalculateTruthDynamicThreeModelTest.testTautology05 139233204708313 Feb 22:54:07 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology45CalculateTruthDynamicThreeModelTest.testTautology45 139233204500513 Feb 22:54:05 1 PASS 0.00  
CalculateTruthDynamicThreeModelTest.testTautology42CalculateTruthDynamicThreeModelTest.testTautology42 139233205675713 Feb 22:54:16 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology18CalculateTruthDynamicThreeModelTest.testTautology18 139233205015013 Feb 22:54:10 1 PASS 0.0260.026  
CalculateTruthDynamicThreeModelTest.testTautology12CalculateTruthDynamicThreeModelTest.testTautology12 139233204887913 Feb 22:54:08 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology27CalculateTruthDynamicThreeModelTest.testTautology27 139233205244313 Feb 22:54:12 1 PASS 0.00300.003  
CalculateTruthDynamicThreeModelTest.testTautology26CalculateTruthDynamicThreeModelTest.testTautology26 139233205222213 Feb 22:54:12 1 PASS 0.00200.002  
CalculateTruthDynamicThreeModelTest.testTautology04CalculateTruthDynamicThreeModelTest.testTautology04 139233204688413 Feb 22:54:06 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology07CalculateTruthDynamicThreeModelTest.testTautology07 139233204783513 Feb 22:54:07 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology14CalculateTruthDynamicThreeModelTest.testTautology14 139233204927913 Feb 22:54:09 1 PASS 0.00200.002  
CalculateTruthDynamicThreeModelTest.testTautology09CalculateTruthDynamicThreeModelTest.testTautology09 139233204812613 Feb 22:54:08 1 PASS 0.00200.002  
CalculateTruthDynamicThreeModelTest.testTautology06CalculateTruthDynamicThreeModelTest.testTautology06 139233204750613 Feb 22:54:07 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology44bCalculateTruthDynamicThreeModelTest.testTautology44b 139233204438413 Feb 22:54:04 1 PASS 0.040.04  
CalculateTruthDynamicThreeModelTest.testTautology33CalculateTruthDynamicThreeModelTest.testTautology33 139233205372213 Feb 22:54:13 1 PASS 0.00300.003  
CalculateTruthDynamicThreeModelTest.testTautology44CalculateTruthDynamicThreeModelTest.testTautology44 139233204471713 Feb 22:54:04 1 PASS 0.0170.017  
CalculateTruthDynamicThreeModelTest.testTautology02CalculateTruthDynamicThreeModelTest.testTautology02 139233204629413 Feb 22:54:06 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology13CalculateTruthDynamicThreeModelTest.testTautology13 139233204901513 Feb 22:54:09 1 PASS 0.1450.145  
CalculateTruthDynamicThreeModelTest.testTautology39CalculateTruthDynamicThreeModelTest.testTautology39 139233205524913 Feb 22:54:15 1 PASS 0.0280.028  
CalculateTruthDynamicThreeModelTest.testTautology24CalculateTruthDynamicThreeModelTest.testTautology24 139233205147813 Feb 22:54:11 1 PASS 0.00100.001  
CalculateTruthDynamicThreeModelTest.testTautology29CalculateTruthDynamicThreeModelTest.testTautology29 139233205281613 Feb 22:54:12 1 PASS 0.00400.004  
CalculateTruthDynamicThreeModelTest.testTautology36CalculateTruthDynamicThreeModelTest.testTautology36 139233205467213 Feb 22:54:14 1 PASS 0.00400.004  
CalculateTruthDynamicThreeModelTest.testTautology41CalculateTruthDynamicThreeModelTest.testTautology41 139233205661513 Feb 22:54:16 1 PASS 0.00300.003  
CalculateTruthDynamicThreeModelTest.testTautology40CalculateTruthDynamicThreeModelTest.testTautology40 139233205539013 Feb 22:54:15 1 PASS 1.0811.081  
CalculateTruthDynamicThreeModelTest.testTautology08CalculateTruthDynamicThreeModelTest.testTautology08 139233204797713 Feb 22:54:07 1 PASS 0.00100.001