
Dafny program verifier finished with 1 verified, 0 errors
The address http://localhost:8080/default.htm?year=1915&month=august&day=29
has the following parts:
host: localhost:8080
pathname: /default.htm
search: ?year=1915&month=august&day=29
