Есть ли способ профилировать программы Dafny, которые запускаются через веб-интерфейс ? Было бы неплохо, если бы вывод содержал что-то вроде:
Dafny program verifier finished with 2 verified, 0 errors
Program compiled successfully
Verification time: 2.345 sec // this line is not really there ...