products/Sources/formale Sprachen/Roqc/test-suite/misc/   (Office von Apache Version 25.8.3.2©)  Datei vom 15.8.2025 mit Größe 393 B image not shown  

Quelle  printers.sh   Sprache: unbekannt

 
#!/bin/sh

f=$(mktemp)
{
    printf 'Drop.\n#go;;\nQuit.\n' | "${BIN}rocq" repl-with-drop -q
} 2>&1 | grep -a -v "Welcome to Rocq" | tee "$f"

# if there's an issue in `include_utilities`, `#go;;` won't be mentioned
# if there's an issue in `include_printers`, it will be an undefined printer
if ! grep -q -F '#go;;' "$f" ||
        grep -q -E -i 'Error|Unbound|Anomaly' "$f";
then exit 1; fi

Messung V0.5
C=92 H=93 G=92

[ zur Elbe Produktseite wechseln0.7Quellennavigators  Analyse erneut starten  ]