| /dports/emulators/mess/mame-mame0226/3rdparty/catch/include/internal/ |
| H A D | catch_run_context.hpp | 186 bool missingAssertions = testForMissingAssertions( assertions ); in sectionEnded() local
193 …d( SectionStats( endInfo.sectionInfo, assertions, endInfo.durationInSeconds, missingAssertions ) ); in sectionEnded()
298 bool missingAssertions = testForMissingAssertions( assertions ); in runCurrentTest() local
306 … SectionStats testCaseSectionStats( testCaseSection, assertions, duration, missingAssertions ); in runCurrentTest()
|
| H A D | catch_interfaces_reporter.h | 124 missingAssertions( _missingAssertions ) in SectionStats()
137 bool missingAssertions; member
|
| H A D | catch_legacy_reporter_adapter.hpp | 61 if( sectionStats.missingAssertions ) in sectionEnded()
|
| /dports/emulators/mame/mame-mame0226/3rdparty/catch/include/internal/ |
| H A D | catch_run_context.hpp | 186 bool missingAssertions = testForMissingAssertions( assertions ); in sectionEnded() local
193 …d( SectionStats( endInfo.sectionInfo, assertions, endInfo.durationInSeconds, missingAssertions ) ); in sectionEnded()
298 bool missingAssertions = testForMissingAssertions( assertions ); in runCurrentTest() local
306 … SectionStats testCaseSectionStats( testCaseSection, assertions, duration, missingAssertions ); in runCurrentTest()
|
| H A D | catch_interfaces_reporter.h | 124 missingAssertions( _missingAssertions ) in SectionStats()
137 bool missingAssertions; member
|
| H A D | catch_legacy_reporter_adapter.hpp | 61 if( sectionStats.missingAssertions ) in sectionEnded()
|
| /dports/net-im/telegram-desktop/tdesktop-3.2.5-full/Telegram/ThirdParty/Catch/include/internal/ |
| H A D | catch_run_context.hpp | 233 bool missingAssertions = testForMissingAssertions( assertions ); in sectionEnded() local
240 …d( SectionStats( endInfo.sectionInfo, assertions, endInfo.durationInSeconds, missingAssertions ) ); in sectionEnded()
359 bool missingAssertions = testForMissingAssertions( assertions ); in runCurrentTest() local
361 … SectionStats testCaseSectionStats( testCaseSection, assertions, duration, missingAssertions ); in runCurrentTest()
|
| H A D | catch_interfaces_reporter.h | 123 missingAssertions( _missingAssertions ) in SectionStats()
136 bool missingAssertions; member
|
| H A D | catch_legacy_reporter_adapter.hpp | 61 if( sectionStats.missingAssertions ) in sectionEnded()
|
| /dports/x11-toolkits/wxgtk31/wxWidgets-3.1.5/3rdparty/catch/include/internal/ |
| H A D | catch_run_context.hpp | 233 bool missingAssertions = testForMissingAssertions( assertions ); in sectionEnded() local
240 …d( SectionStats( endInfo.sectionInfo, assertions, endInfo.durationInSeconds, missingAssertions ) ); in sectionEnded()
359 bool missingAssertions = testForMissingAssertions( assertions ); in runCurrentTest() local
361 … SectionStats testCaseSectionStats( testCaseSection, assertions, duration, missingAssertions ); in runCurrentTest()
|
| H A D | catch_interfaces_reporter.h | 123 missingAssertions( _missingAssertions ) in SectionStats()
136 bool missingAssertions; member
|
| H A D | catch_legacy_reporter_adapter.hpp | 61 if( sectionStats.missingAssertions ) in sectionEnded()
|
| /dports/math/cvc4/CVC4-1.7/src/proof/ |
| H A D | lemma_proof.cpp | 99 std::set<Node> missingAssertions = getMissingAssertionsForStep(count - 1); in dump() local
100 …for (std::set<Node>::const_iterator it = missingAssertions.begin(); it != missingAssertions.end();… in dump()
|
| H A D | theory_proof.cpp | 521 std::set<Node> missingAssertions = recipe.getMissingAssertionsForStep(i); in finalizeBvConflicts() local
524 for (assertionIt = missingAssertions.begin(); in finalizeBvConflicts()
525 assertionIt != missingAssertions.end(); in finalizeBvConflicts()
629 std::set<Node> missingAssertions = recipe.getMissingAssertionsForStep(0); in printTheoryLemmas() local
630 if (!missingAssertions.empty()) { in printTheoryLemmas()
635 for (missingAssertion = missingAssertions.begin(); in printTheoryLemmas()
636 missingAssertion != missingAssertions.end(); in printTheoryLemmas()
747 std::set<Node> missingAssertions = recipe.getMissingAssertionsForStep(i); in printTheoryLemmas() local
748 if (!missingAssertions.empty()) { in printTheoryLemmas()
754 for (missingAssertion = missingAssertions.begin(); in printTheoryLemmas()
[all …]
|
| /dports/net-im/biboumi/biboumi-9.0/external/src/catch/include/internal/ |
| H A D | catch_run_context.cpp | 187 bool missingAssertions = testForMissingAssertions(assertions); in sectionEnded() local
194 …Ended(SectionStats(endInfo.sectionInfo, assertions, endInfo.durationInSeconds, missingAssertions)); in sectionEnded()
325 bool missingAssertions = testForMissingAssertions(assertions); in runCurrentTest() local
331 SectionStats testCaseSectionStats(testCaseSection, assertions, duration, missingAssertions); in runCurrentTest()
|
| /dports/www/restbed/restbed-4.8/dependency/catch/include/internal/ |
| H A D | catch_run_context.cpp | 212 bool missingAssertions = testForMissingAssertions(assertions); in sectionEnded() local
219 …Ended(SectionStats(endInfo.sectionInfo, assertions, endInfo.durationInSeconds, missingAssertions)); in sectionEnded()
368 bool missingAssertions = testForMissingAssertions(assertions); in runCurrentTest() local
375 SectionStats testCaseSectionStats(testCaseSection, assertions, duration, missingAssertions); in runCurrentTest()
|
| H A D | catch_interfaces_reporter.cpp | 62 missingAssertions( _missingAssertions ) in SectionStats()
|
| /dports/devel/catch/Catch2-2.13.7/include/internal/ |
| H A D | catch_run_context.cpp | 287 bool missingAssertions = testForMissingAssertions(assertions); in sectionEnded() local
294 …Ended(SectionStats(endInfo.sectionInfo, assertions, endInfo.durationInSeconds, missingAssertions)); in sectionEnded()
443 bool missingAssertions = testForMissingAssertions(assertions); in runCurrentTest() local
450 SectionStats testCaseSectionStats(testCaseSection, assertions, duration, missingAssertions); in runCurrentTest()
|
| /dports/math/e-antic/Catch2-ff349a5/include/internal/ |
| H A D | catch_run_context.cpp | 287 bool missingAssertions = testForMissingAssertions(assertions); in sectionEnded() local
294 …Ended(SectionStats(endInfo.sectionInfo, assertions, endInfo.durationInSeconds, missingAssertions)); in sectionEnded()
443 bool missingAssertions = testForMissingAssertions(assertions); in runCurrentTest() local
450 SectionStats testCaseSectionStats(testCaseSection, assertions, duration, missingAssertions); in runCurrentTest()
|
| H A D | catch_interfaces_reporter.cpp | 62 missingAssertions( _missingAssertions ) in SectionStats()
|
| /dports/math/e-antic/e-antic-1.0.0-rc.13/libeantic/test/external/catch2/include/internal/ |
| H A D | catch_run_context.cpp | 287 bool missingAssertions = testForMissingAssertions(assertions); in sectionEnded() local
294 …Ended(SectionStats(endInfo.sectionInfo, assertions, endInfo.durationInSeconds, missingAssertions)); in sectionEnded()
443 bool missingAssertions = testForMissingAssertions(assertions); in runCurrentTest() local
450 SectionStats testCaseSectionStats(testCaseSection, assertions, duration, missingAssertions); in runCurrentTest()
|
| H A D | catch_interfaces_reporter.cpp | 62 missingAssertions( _missingAssertions ) in SectionStats()
|
| /dports/emulators/citra/citra-ac98458e0/externals/catch/include/internal/ |
| H A D | catch_run_context.cpp | 287 bool missingAssertions = testForMissingAssertions(assertions); in sectionEnded() local
294 …Ended(SectionStats(endInfo.sectionInfo, assertions, endInfo.durationInSeconds, missingAssertions)); in sectionEnded()
443 bool missingAssertions = testForMissingAssertions(assertions); in runCurrentTest() local
450 SectionStats testCaseSectionStats(testCaseSection, assertions, duration, missingAssertions); in runCurrentTest()
|
| /dports/emulators/citra-qt5/citra-ac98458e0/externals/catch/include/internal/ |
| H A D | catch_run_context.cpp | 287 bool missingAssertions = testForMissingAssertions(assertions); in sectionEnded() local
294 …Ended(SectionStats(endInfo.sectionInfo, assertions, endInfo.durationInSeconds, missingAssertions)); in sectionEnded()
443 bool missingAssertions = testForMissingAssertions(assertions); in runCurrentTest() local
450 SectionStats testCaseSectionStats(testCaseSection, assertions, duration, missingAssertions); in runCurrentTest()
|
| H A D | catch_interfaces_reporter.cpp | 62 missingAssertions( _missingAssertions ) in SectionStats()
|