Ini ialah arahan dfg2otter.pl yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS
JADUAL:
NAMA
dfg2otter - menukar fail klausa DFG ke dalam format Otter termasuk pilihan Otter
SINOPSIS
dfg2otter.pl [pilihan] [infile] [outfile]
DESCRIPTION
dfg2otter.pl ialah Perl pembungkus untuk dfg2otter. Terutamanya, ia menambah set OTTER
parameter kepada hasil transformasi daripada dfg2otter. Selain itu, input/output
pengalihan adalah lebih mudah: Jika tiada hujah fail diberikan, dfg2otter.pl membaca daripada stdin dan
menulis kepada stdout. Jika satu argumen fail diberikan, dfg2otter.pl baca daripada fail itu, dan jika
hujah kedua hadir, dfg2otter.pl menulis kepadanya.
PILIHAN
-t n
Menetapkan had masa untuk percubaan bukti OTTER n saat.
Gunakan dfg2otter.pl dalam talian menggunakan perkhidmatan onworks.net
