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