dafnyserver.exe — што гэта за праграма?
dafnyserver.exe — выканальны файл праграмы dafny. Ён усталёўваецца разам з ёй і запускае яе з каманднага радка.
| Праграма | Распрацоўшчык | Апошняя версія | Звычайная папка ўстаноўкі |
|---|---|---|---|
| dafny | — | 4.11.0 | — |
Частыя пытанні
Ці бяспечны файл dafnyserver.exe?
Калі dafnyserver.exe ляжыць у папцы ўстаноўкі праграмы і мае лічбавы подпіс распрацоўшчыка, гэта звычайная частка dafny. Файл з такой самай назвай у іншай папцы можа аказацца чым заўгодна: праверце яго подпіс і хэш.
Дзе знаходзіцца dafnyserver.exe?
У папцы праграмы, якую выбірае ўсталёўшчык; партатыўныя праграмы winget змяшчае ў %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Як выдаліць dafnyserver.exe?
Выдаліце dafny праз «Налады» → «Праграмы» (Settings → Apps) або з дапамогай winget — праграма выдалення прыбярэ і dafnyserver.exe. Калі сцерці толькі сам файл, астатняя частка праграмы застанецца на дыску.