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
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.
