Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: primes.txt Sprache: Text

Original von: PVS^©

% File to be checked
% Every record has the form:
%   Input in PVS syntax, e.g., natural number
%   Output in PVS syntax, e.g., boolean
% PVS comments and empty lines are ignored

% This is the first record
1           % This is an input in PVS syntax
TRUE     % This is an output in PVS syntax

% This is the second record, etc.
5
TRUE

9
FALSE
10
FALSE
9
FALSE
3
TRUE
17
FALSE
1
TRUE
5
TRUE
9
FALSE
10
FALSE
9
FALSE
3
TRUE
17
FALSE
1
TRUE
5
TRUE
9
FALSE
10
FALSE
9
FALSE
3
TRUE
17
FALSE
1
TRUE
5
TRUE
9
FALSE
10
FALSE
9
FALSE
3
TRUE
17
FALSE
1
TRUE
5
TRUE
9
FALSE
10
FALSE
9
FALSE
3
TRUE
17
FALSE
1
TRUE
5
TRUE
9
FALSE
10
FALSE
9
FALSE
3
TRUE
17
FALSE
1
TRUE
5
TRUE
9
FALSE
10
FALSE
9
FALSE
3
TRUE
17
FALSE
1
TRUE
5
TRUE
9
FALSE
10
FALSE
9
FALSE
3
TRUE
17
FALSE

¤ Dauer der Verarbeitung: 0.20 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.