标签： profiling dafny
是否可以配置通过网络界面运行的Dafny程序？如果输出包含类似以下内容，那将真的很好：
Dafny program verifier finished with 2 verified, 0 errors Program compiled successfully Verification time: 2.345 sec // this line is not really there ...