Home
last modified time | relevance | path

Searched defs:correctness (Results 1 – 25 of 82) sorted by relevance

1234

/dports/x11/polybar/polybar-3.5.7/tests/unit_tests/components/
H A Dconfig_parser.cpp71 TEST_P(ParseLineInValidTest, correctness) { in TEST_P() argument
79 TEST_P(ParseLineHeaderTest, correctness) { in TEST_P() argument
90 TEST_P(ParseLineKeyTest, correctness) { in TEST_P() argument
151 TEST_P(GetLineTypeTest, correctness) { in TEST_P() argument
185 TEST_P(ParseKeyTest, correctness) { in TEST_P() argument
220 TEST_P(ParseHeaderTest, correctness) { in TEST_P() argument
H A Dbar.cpp44 TEST_P(GeomFormatToPixelsTest, correctness) { in TEST_P() argument
H A Dparser.cpp33 TEST_P(ParseActionCmd, correctness) { in TEST_P() argument
/dports/www/ilias/ILIAS-5.4.25/Modules/TestQuestionPool/classes/
H A Dclass.assAnswerTrueFalse.php30 public $correctness; variable in ASS_AnswerTrueFalse
42 public function __construct($answertext = "", $points = 0.0, $order = 0, $correctness = false)
111 public function setCorrectness($correctness = false)
H A Dclass.ilAssKprimChoiceAnswer.php25 private $correctness; variable in ilAssKprimChoiceAnswer
93 public function setCorrectness($correctness)
/dports/www/ilias6/ILIAS-6.14/Modules/TestQuestionPool/classes/
H A Dclass.assAnswerTrueFalse.php30 public $correctness; variable in ASS_AnswerTrueFalse
42 public function __construct($answertext = "", $points = 0.0, $order = 0, $correctness = false)
111 public function setCorrectness($correctness = false)
H A Dclass.ilAssKprimChoiceAnswer.php25 private $correctness; variable in ilAssKprimChoiceAnswer
93 public function setCorrectness($correctness)
/dports/x11/polybar/polybar-3.5.7/tests/unit_tests/utils/
H A Dactions.cpp23 TEST_P(ParseActionStringTest, correctness) { in TEST_P() argument
49 TEST_P(ParseActionStringThrowTest, correctness) { in TEST_P() argument
/dports/www/ilias/ILIAS-5.4.25/Modules/TestQuestionPool/classes/forms/
H A Dclass.ilAssNestedOrderingElementsInputGUI.php243 public function getCorrectnessIconFilename($correctness)
252 public function setCorrectnessIconFilename($correctness, $iconFilename)
261 public function getCorrectnessLangVar($correctness)
270 public function setCorrectnessLangVar($correctness, $langVar)
279 public function getCorrectnessText($correctness)
/dports/www/ilias6/ILIAS-6.14/Modules/TestQuestionPool/classes/forms/
H A Dclass.ilAssNestedOrderingElementsInputGUI.php243 public function getCorrectnessIconFilename($correctness)
252 public function setCorrectnessIconFilename($correctness, $iconFilename)
261 public function getCorrectnessLangVar($correctness)
270 public function setCorrectnessLangVar($correctness, $langVar)
279 public function getCorrectnessText($correctness)
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/cortexproject/cortex/pkg/testexporter/correctness/
H A Drunner_test.go1 package correctness package
H A Dtime_flag.go1 package correctness package
H A Dcase.go1 package correctness package
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVBenchSuite/BenchSuite/BitPrecise/
H A DMergeSort.hs30 where correctness' n = do xs <- mkFreeVars n function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/BitPrecise/
H A DMergeSort.hs82 correctness n = prove $ do xs <- mkFreeVars n function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/WeakestPreconditions/
H A DBasics.hs104 correctness before after = wpProveWith defaultWPCfg{wpVerbose=True} (imperativeInc before after) function
H A DAppend.hs123 correctness = wpProveWith defaultWPCfg{wpVerbose=True} imperativeAppend function
H A DIntDiv.hs125 correctness = print =<< wpProveWith defaultWPCfg{wpVerbose=True} (imperativeDiv invariant (Just mea… function
H A DLength.hs137 correctness = print =<< wpProveWith defaultWPCfg{wpVerbose=True} (imperativeLength invariant (Just … function
H A DIntSqrt.hs138 correctness = print =<< wpProveWith defaultWPCfg{wpVerbose=True} (imperativeSqrt invariant (Just me… function
H A DFib.hs159 correctness = wpProveWith defaultWPCfg{wpVerbose=True} imperativeFib function
H A DGCD.hs177 correctness = wpProveWith defaultWPCfg{wpVerbose=True} imperativeGCD function
/dports/multimedia/libv4l/linux-5.13-rc2/Documentation/locking/
H A Dlockdep-design.rst308 .. [1]
/dports/multimedia/v4l-utils/linux-5.13-rc2/Documentation/locking/
H A Dlockdep-design.rst308 .. [1]
/dports/multimedia/v4l_compat/linux-5.13-rc2/Documentation/locking/
H A Dlockdep-design.rst308 .. [1]

1234