C# (CSharp) NullableSymbolicValueの例

コード例 #1

 public void TestInitialize()
 {
     sv_w = SymbolicValue.Create();
     sv_0 = new NullableSymbolicValue(sv_w);
 }

コード例 #2

 public void TestInitialize()
 {
     symbolicValue         = SymbolicValue.Create();
     nullableSymbolicValue = new NullableSymbolicValue(symbolicValue);
 }