public void TestInitialize() { sv_w = SymbolicValue.Create(); sv_0 = new NullableSymbolicValue(sv_w); }
public void TestInitialize() { symbolicValue = SymbolicValue.Create(); nullableSymbolicValue = new NullableSymbolicValue(symbolicValue); }
public void ToString_ContainsIdentifier() { var value = new NullableSymbolicValue(null); value.ToString().Should().MatchRegex(@"NULLABLE_SV_\d+"); }