Ito ang command na dfg2otter.pl na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
dfg2otter - binabago ang mga file ng sugnay ng DFG sa format na Otter kasama ang mga opsyon sa Otter
SINOPSIS
dfg2otter.pl [mga pagpipilian] [infile] [outfile]
DESCRIPTION
dfg2otter.pl ay isang Perl wrapper para sa dfg2otter. Pangunahin, nagdaragdag ito ng isang set ng OTTER
mga parameter sa resulta ng pagbabago ng dfg2otter. Bukod pa rito, input/output
mas simple ang pag-redirect: Kung walang ibinigay na argumento ng file, dfg2otter.pl bumabasa mula sa stdin at
sumusulat sa stdout. Kung ang isang file argument ay ibinigay, dfg2otter.pl basahin mula sa file na iyon, at kung
ang pangalawang argumento ay naroroon, dfg2otter.pl sumusulat dito.
Opsyon
-t n
Itinatakda ang limitasyon sa oras para sa OTTER proof na pagtatangka n segundo.
Gamitin ang dfg2otter.pl online gamit ang mga serbisyo ng onworks.net
