Mis on dafny.exe ja millisele programmile see kuulub?
dafny.exe on programmi dafny fail. See paigaldatakse koos programmiga ja sellega saab programmi käsurealt käivitada.
| Programm | Väljaandja | Uusim versioon | Vaikimisi paigalduskaust |
|---|---|---|---|
| dafny | — | 4.11.0 | — |
Korduma kippuvad küsimused
Kas dafny.exe on ohutu?
dafny.exe on programmi dafny tavaline osa, kui see asub programmi paigalduskaustas ja kannab väljaandja digiallkirja. Samanimeline fail mõnes teises kaustas võib olla midagi muud: kontrolli selle allkirja ja räsi.
Kus dafny.exe asub?
Programmi paigalduskaustas, mille valib paigaldaja; winget paneb portatiivsed programmid kausta %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Kuidas dafny.exe eemaldada?
Eemalda dafny jaotises Sätted → Rakendused või wingeti abil; desinstaller kustutab ka dafny.exe. Kui kustutada ainult fail, jääb ülejäänud programm arvutisse alles.