blob: 9625fb00214557d7d1774a3a06be5ba1876fbef1 (
plain)
1
2
3
4
5
6
7
8
|
# RUN: %server "%s" > "%t"
# RUN: %diff "%s.expect" "%t"
verify
eyJhcmdzIjpbIi9jb21waWxlOjAiLCIvbm9sb2dvIiwiL3ByaW50VG9vbHRpcHMiLCIvdGltZUxp
bWl0OjIwIl0sImZpbGVuYW1lIjoidHJhbnNjcmlwdCIsInNvdXJjZSI6Im1ldGhvZCBBKGE6aW50
KSByZXR1cm5zIChiOiBpbnQpIHtcbiAgYiA6PSBhO1xuICBhc3NlcnQgZmFsc2U7XG59XG4iLCJz
b3VyY2VJc0ZpbGUiOmZhbHNlfQ==
[[DAFNY-CLIENT: EOM]]
|
