public void TestInitialize()
 {
     sv_w = SymbolicValue.Create();
     sv_0 = new NullableSymbolicValue(sv_w);
 }
Example #2
0
 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+");
        }