Source

VeriJSON / VeriJSONTests / Data / ObjectWithURLNonString.json

Full commit
1
2
3
{
    "self": 3
}