Aceasta este comanda dfg2otter.pl care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
dfg2otter - transformă fișierele cu clauze DFG în format Otter, inclusiv opțiunile Otter
REZUMAT
dfg2otter.pl [opțiuni] [infile] [outfile]
DESCRIERE
dfg2otter.pl este Perl ambalaj pentru dfg2otter. În principal, adaugă un set de OTTER
parametrii la rezultatul transformării dfg2otter. În plus, intrare/ieșire
redirecționarea este mai simplă: dacă nu sunt date argumente de fișier, dfg2otter.pl citește din stdin și
scrie la stdout. Dacă este dat un argument de fișier, dfg2otter.pl citește din acel fișier și dacă
un al doilea argument este prezent, dfg2otter.pl îi scrie.
OPŢIUNI
-t n
Setează limita de timp pentru încercarea de dovadă OTTER n secunde.
Utilizați dfg2otter.pl online folosind serviciile onworks.net
