assert

    0熱度

    1回答

    dafny斷言違反使用序列

    這裏是dafny代碼，第二個斷言永不傳遞，任何人都可以幫助我？ enter link description here
    recursion assert dafny 2017-05-18

    20熱度

    3回答

    如何根據斷言來指導GCC優化而無需運行時成本？

    我已經用遍了我的代碼一個宏，在調試模式下的功能： #define contract(condition) \ if (!(condition)) \ throw exception("a contract has been violated"); ...但在釋放模式： #define contract(condition) \ if (!(condition))
    c++ gcc optimization assert compiler-optimization 2017-05-18

    0熱度

    2回答

    字符串和Selenium Text之間的AssertEqual - 爲什麼會失敗？

    我有XML格式的測試數據，以及來自WebElement（Selenium）的Text或Value。 我比較了兩個值，並且Assert失敗。最初，XML空格（由於格式化）是顯而易見的問題，但刪除它們後，我仍然得到以下結果。 我已經在Word中粘貼了錯誤日誌，並且在間隔字符中沒有視覺差異。 編輯： 進一步的調查表明，斷言在換行符失敗。 複製到Word時，此字符後面的空白在預期結果和實際結果之間不同。
    c# string selenium whitespace assert 2017-05-24

    0熱度

    1回答

    NUnit：Assert.Multiple for methods that contains Assume.That

    我正在測試一個包含三個不同模塊的網頁。在我的測試框架中，每個頁面模塊都由其自己的測試類表示：Module1Tests，Module2Tests，Module3Tests。此外，爲了滿足每個模塊的具體條件，我在每個測試課程中都使用Assume.That。 有了這個設置，如果我只是測試單獨的模塊，一切正常。 但是，當我創建整個頁面的測試類，並使用Assert.Multiple這樣的： public c
    c# unit-testing nunit assert 2017-05-26

    2熱度

    2回答

    如何安裝DebugBreak處理程序？

    我們正在爲我們的Visual Studio解決方案設置Appveyor，該解決方案生成一個C++庫。我們的一些測試[愚蠢]模糊C++對象，以確保它們不會做出意想不到的事情。在調試版本下，它會導致觸發一個斷言（並且在發佈版本中它只是拋出）。 我們使用自定義斷言來避免正在調試的程序崩潰的Posix行爲。如下所示。看來Appveyor或者如果斷言火災操作系統殺死程序和調試器不附： 我們要安裝一個Debu
    c++ windows assert debugbreak 2017-05-27

    2熱度

    1回答

    如何在不包含Windows.h的情況下獲取IsDebuggerPresent的聲明？

    這與How to install a DebugBreak handler?和How to get a declaration for DebugBreak without including Windows.h?。我們希望使用IsDebuggerPresent()進行評估，以避免在沒有調試器的情況下使用DebugBreak()時發生崩潰。 我們遇到的問題是，我們必須包括<windows.h>，它
    c++ windows visual-studio assert 2017-05-28

    1熱度

    1回答

    NUnit的斷言 - 顯示完整的錯誤消息

    我有以下的說法： Assert.AreEqual(AssertWelcomeMessage, loginPageModel.WelcomeMessage()); 每個變量的值如下： AssertWelcomeMessage：您好，歡迎光臨我們的網站！我們真的希望 你喜歡你的訪問！ loginPageModel.WelcomeMessage（）：您好，歡迎來到我們的網站！我們 真的希望你喜歡你\
    c# unit-testing nunit assert assertions 2017-06-01

    1熱度

    1回答

    蟒蛇AttributeError的assert_called

    我有一個非常簡單的測試方法： from unittest.mock import Mock from urbansearch import main main.ArgumentParser = Mock() def test_parse_arguments(): main.parse_arguments() main.ArgumentParser.add_argume
    python mocking assert attributeerror 2017-06-01

    -4熱度

    1回答

    在C++中，2D數組的增量是什麼？函數聲明（0）做什麼？

    我正在C++中的代碼工作，但我不知道a[set][i]++;做什麼。我假設位於該數組中的值增加了1，但我不確定。 另外，代碼中assert(0);的功能是什麼？ 感謝您的幫助！ 的碼塊是： for (i=0; i<1S; i++) { if (a[637][i] < a[637][15]) { a[637][i]++; if (a[637][i]
    c++ arrays multidimensional-array assert 2017-04-26

    4熱度

    1回答

    爲什麼`assert_eq`和`assert_ne`存在一個簡單的`assert`就足夠了？

    assert!(a == b)比assert_eq!(a, b)佔用更少的字符，在我看來，它更具可讀性。 錯誤消息是或多或少是相同的： thread 'main' panicked at 'assertion failed: `(left == right)` (left: `1`, right: `2`)', src\main.rs:41 或 thread 'main' panicked a
    unit-testing rust assert 2017-05-03
最新問題