dafny.exe – mikä se on ja mihin ohjelmaan se kuuluu?
dafny.exe on ohjelman dafny ohjelmatiedosto. Se asentuu ohjelman mukana, ja sillä ohjelma käynnistetään komentoriviltä.
| Ohjelma | Julkaisija | Uusin versio | Oletusasennuskansio |
|---|---|---|---|
| dafny | — | 4.11.0 | — |
Usein kysytyt kysymykset
Onko dafny.exe turvallinen?
dafny.exe on ohjelman dafny tavallinen osa, kun tiedosto on ohjelman asennuskansiossa ja siinä on julkaisijan digitaalinen allekirjoitus. Samanniminen tiedosto muussa kansiossa voi olla jotain aivan muuta: tarkista sen allekirjoitus ja tiiviste (hash).
Missä dafny.exe sijaitsee?
Ohjelman asennuskansiossa, jonka asennusohjelma valitsee; siirrettävät ohjelmat winget sijoittaa kansioon %LOCALAPPDATA%\Microsoft\WinGet\Packages.
Miten dafny.exe poistetaan?
Poista ohjelma dafny kohdassa Asetukset → Sovellukset tai wingetillä; asennuksen poisto vie mukanaan myös tiedoston dafny.exe. Pelkän tiedoston poistaminen jättää muun ohjelman koneelle.