Skip to content

Instantly share code, notes, and snippets.

@urasandesu

urasandesu/-1180194706-02.lisp Secret

Created January 4, 2017 04:54
Show Gist options
  • Save urasandesu/ba15cc74ee608ab250883468451f28bd to your computer and use it in GitHub Desktop.
Save urasandesu/ba15cc74ee608ab250883468451f28bd to your computer and use it in GitHub Desktop.
Download ZIP
C# パラメタライズド テスト自動生成基礎 ツヴァイ！ -The road to Pex/Code Digger/IntelliTest Zwei!-：02. Fix ambiguous null reference
Raw
-1180194706-02.lisp
(declare-datatypes () ((SystemInt32Array null (SystemInt32Array (pointer Int) (value (Seq Int))))))
(declare-datatypes () ((Fuga null (Fuga (pointer Int) (value Int)))))
(declare-const a SystemInt32Array)
(assert (= a (as null SystemInt32Array))) ; OK!
(check-sat)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment