Examples with "diff program properties" and their translation in Zweeds
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
The Diff menu found on the Preferences dialog displays the Diff, Format, Options and Exclude tabbed forms. These forms can be used to configure the behavioural properties of the Diff program.
Sidan Jämför i dialogrutan Inställningar visar flikarna Jämför, Format, Alternativ och Undantag. Flikarna kan användas för att ställa in egenskaper för beteendet hos diff- programmet.
The Exclude form enables use of the filter options provided by the diff program.
Formuläret Undantag möjliggör användning av filteralternativen som tillhandahålls av jämförelseprogrammet.
When you are finished configuring program properties, click OK, and then click Next.
Klicka på OK när du har konfigurerat programegenskaperna och klicka sedan på Nästa.
The Options tab form allows configuration of the options supported by the diff program.
Fliken Alternativ gör det möjligt att anpassa alternativ som stöds av diff- programmet.
Generalized and fast search strategies for parameterized problems See Swedish site for more information. Generating and Proving Program Properties via Symbol Elimination
Generaliserade och snabba sökstrategier för GenPro: Generera och bevisa programegenskaper via symboleliminering
The command used to run the diff program (default diff).
Kommandot som används för att köra diff- programmet (normalt diff).
It should give an understanding for how the theories and the methods can be used in related areas like translation between different source languages, analysis of program properties, interpretation, and analysis of other artificial languages.
Målet är dessutom att få en förståelse för hur de olika teorierna och metoderna kan användas för relaterade tillämpningsområden, till exempel översättning mellan olika källspråk, analys av programegenskaper, interpretering, översättning och analys av andra artificiella språk.
QuickCheck (or QuickCheck2, QC2) is a Haskell-based library for random testing of program properties.
Scala Check är ett bibliotek för att utföra automatiserade, fastighetsbaserade tester för Scala eller Java program.
You can select a different diff program here. On Solaris the standard diff program does not support all the options that the GNU version does. This way you can select that version.
Du kan välja ett annat diff- program här. På Solaris känner inte det vanliga diff- programmet till alla väljare, men GNU- versionen av diff gör det. På detta sätt kan du välja den versionen.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
Er zijn geen resultaten gevonden voor deze term.
Synoniemen voor diff program properties in het Engels