Ito ang command checker 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
checker - SPARK Proof Checker
SINOPSIS
checker [OPSYON] [FILE]
DESCRIPTION
Ang SPARK Proof Checker ay maaaring gamitin upang i-discharge ang mga kundisyon sa pag-verify na ginawa ng
Examiner (*.vcg), posibleng pinasimple ng Simplifier (*.siv). Ang utos na ito ay karaniwang
ginagamit kapag hindi awtomatikong ma-discharge ng Simplifier ang mga kundisyon sa pag-verify.
Bilang default checker tumatakbo sa interactive na mode. Tumatanggap ito ng mga utos mula sa gumagamit at nagsusulat
ang mga ito sa isang cmd file (o iba pang file na tinukoy ni -command_log opsyon). Ang file na ito ay maaaring
ginamit mamaya para tumakbo checker sa batch mode (gamit ang opsyon -isagawa). Bukod pa rito, proof log
ay nakasulat sa isang plg file.
Opsyon
Ang isang buod ng mga opsyon ay kasama sa ibaba. Ang lahat ng mga opsyon ay maaaring paikliin sa pinakamaikling
natatanging prefix.
-tulong Ipakita ang buod ng mga opsyon.
-version
Ipakita ang impormasyon ng bersyon.
- payak Magpatibay ng simpleng istilo ng output (hal. walang mga petsa o numero ng bersyon).
-overwrite_warning
Kailangan ng kumpirmasyon para ma-overwrite ang mga command o proof log file.
-command_log=LOG_FILE
Tukuyin ang pangalan ng file para sa command log file.
-proof_log=PLG_FILE
Tukuyin ang pangalan ng file para sa proof log file.
-execute=LOG_FILE
Magsagawa ng dati nang nabuong command log file.
-ipagpatuloy
Ipagpatuloy ang isang dating na-save na session.
Gumamit ng checker online gamit ang mga serbisyo ng onworks.net
