org.qedeq.kernel.bo.service.logic
Loading...
Class Coverage    
CheckRequiredModuleException CheckRequiredModuleException 1.0 (100%)
DefaultExistenceChecker DefaultExistenceChecker 0.87234044 (87.2%)
FormalProofCheckerExecutor FormalProofCheckerExecutor 0.6210191 (62.1%)
FormalProofCheckerPlugin FormalProofCheckerPlugin 0.8 (80%)
ModuleConstantsExistenceCheckerImpl ModuleConstantsExistenceCheckerImpl 0.8731884 (87.3%)
SimpleProofFinderExecutor SimpleProofFinderExecutor 0.48920864 (48.9%)
SimpleProofFinderPlugin SimpleProofFinderPlugin 0.9285714 (92.9%)
WellFormedCheckerExecutor WellFormedCheckerExecutor 0.7441176 (74.4%)
WellFormedCheckerPlugin WellFormedCheckerPlugin 0.8 (80%)