To jest narzędzie do sprawdzania poleceń, które można uruchomić w darmowym dostawcy hostingu OnWorks, korzystając z jednej z wielu naszych darmowych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu MAC OS
PROGRAM:
IMIĘ
sprawdzanie - SPARK Proof Checker
STRESZCZENIE
sprawdzania [OPCJE] [FILE]
OPIS
Kontroler SPARK Proof Checker może być używany do rozładowywania warunków weryfikacji wytworzonych przez
Examiner (*.vcg), prawdopodobnie uproszczony przez Simplifier (*.siv). To polecenie jest zwykle
stosowane, gdy warunki weryfikacji nie mogą zostać automatycznie rozwiązane przez Simplifier.
Domyślnie sprawdzania działa w trybie interaktywnym. Akceptuje polecenia od użytkownika i zapisuje
je do pliku cmd (lub innego pliku określonego przez -log_polecenia opcja). Ten plik może być
używany później do biegania sprawdzania w trybie wsadowym (za pomocą opcji -wykonać). Dodatkowo dziennik dowodów
jest zapisywany w pliku plg.
OPCJE
Podsumowanie opcji znajduje się poniżej. Wszystkie opcje mogą być skrócone do najkrótszej wersji.
unikalny prefiks.
-Pomoc Pokaż podsumowanie opcji.
-wersja
Wyświetl informacje o wersji.
-Równina Zastosuj prosty styl wyjściowy (np. bez dat i numerów wersji).
-ostrzeżenie_nadpisywania
Wymagane jest potwierdzenie nadpisania plików dziennika poleceń lub dowodów.
-log_polecenia=PLIK DZIENNIKA
Podaj nazwę pliku dziennika poleceń.
-dowód_log=PLIK_PLG
Podaj nazwę pliku dziennika dowodów.
-wykonaj=PLIK DZIENNIKA
Wykonaj wcześniej wygenerowany plik dziennika poleceń.
-wznawianie
Wznów poprzednio zapisaną sesję.
Użyj sprawdzania online za pomocą usług onworks.net
