| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/precomputed-time-tests/zero-before/ (Beweissystem des Inria Version 9.1.0©) Datei vom 15.8.2025 mit Größe 256 B |
|
Quelle run.shSprache: Shell |
|||||||||
|
#!/usr/bin/env bash
. ../template/init.sh cd "$(dirname "${BASH_SOURCE[0]}")" $make_both_time_files time-of-build-after.log.in time-of-build-before.log.in time-o diff -u time-of-build-both.log.expected time-of-build-both.log || exit $? ¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet am 2026-04-25) ¤*© Formatika GbR, Deutschland |
|
2026-05-26