check?(fin:IStream,fout:OStream) : bool = LET n = str2pvs[nat](readln_checker(fin)), % Read n from file
io = str2pvs[bool](readln_checker(fin)), % Read output from file
pvs = is_prime?(n) IN
check_bool(fout,"",pvs,io) % Check PVS output against ouput in file
main(file:string,records:nat): void = %set[posnat](Frequency,n) & % Set frequency (in number of records) to print estimated time of completion %set[posreal](Precision,r) & % Set precision to almost_equal
checker(file,check?,records)
END prime_check
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤
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.
