Ini adalah perintah singledelta yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
singledelta - peminimal heuristik dari file yang menarik
RINGKASAN
delta tunggal -tes=tes-skrip [pilihan] [file awal]
DESKRIPSI
Delta membantu Anda meminimalkan file "menarik" yang harus diuji
daya tarik. Situasi umum seperti itu adalah ketika mencoba mengisolasi kegagalan kecil-
menginduksi substring dari input besar yang menyebabkan program Anda menunjukkan bug.
Anda menyediakan delta tunggal dengan
· skrip shell uji yang memutuskan apakah file inputnya "menarik" (tes-skrip) Dan
· file input awal yang menarik (file awal atau masukan standar).
Delta menggunakan heuristik untuk menemukan sub-file dari file input Anda yang masih "menarik"
sesuai dengan tes Anda.
Delta memiliki gagasan tentang granularitas file: elemen atom terkecil di antaranya
file dilihat sebagai urutan. Standarnya adalah perincian garis: dalam mode ini, delta
akan mencoba menghapus seluruh baris, tetapi tidak akan pernah mencoba menghapus elemen yang lebih kecil dari
itu. Anda dapat memfilter program melalui bentuk atasdatar(1) untuk menghasilkan file di mana baris-
granularity hanya masuk ke kedalaman bersarang yang ditentukan (jika file Anda dalam bahasa bersarang).
multidelta(1) melakukan ini untuk Anda.
PILIHAN
-uji=tes-skrip
penggunaan tes-skrip sebagai program uji. Opsi ini wajib.
Program pengujian menerima argumen tunggal, nama file kandidat yang akan diuji. Dia
dijalankan di dalam direktori yang hanya berisi file itu, dan itu bisa bersifat sementara
file/direktori dalam direktori tersebut. Seharusnya mengembalikan nol untuk kandidat yang
menunjukkan properti yang diinginkan, dan bukan nol untuk properti yang tidak.
-akhiran=akhiran
Setel akhiran nama file ke akhiran. Standarnya adalah ".c".
-buang_masukan
Buang isi file awal setelah membacanya.
-cp_minimal=fillet
Salin tes minimal yang berhasil ke fillet.
-perincian=line
Gunakan garis sebagai granularitas. Ini adalah default.
-perincian=bentuk_atas
Gunakan formulir tingkat atas C sebagai perincian. Ini saat ini hanya berfungsi dengan output CIL.
-catatan=fillet
Catat acara utama ke fillet.
-diam
Tidak menghasilkan output apapun.
-verbose
Menghasilkan lebih banyak keluaran verbose.
-di tempat
Timpa file awal dengan input.
-bantu
Cetak informasi penggunaan.
CATATAN
Nama delta tunggal khusus untuk Debian. Nama upstream dari program ini hanyalah
delta.
Gunakan singledelta online menggunakan layanan onworks.net
