products/Sources/formale Sprachen/Roqc/dev/tools/   (Firefox Browser Version 153.0.1©)  Datei vom 15.8.2025 mit Größe 356 B image not shown  

Quelle  cleanup-artifacts.sh   Sprache: Shell

 

#!/bin/sh

before=$1
after=$2

# https://unix.stackexchange.com/questions/418429/find-intersection-of-lines-in-two-files
awk 'BEGIN{while( (getline k < "'"$before"'")>0 ){a[k]}} $0 in a' "$after" > removed_artifacts.txt

xargs -a removed_artifacts.txt rm

for d in _install_ci saved_build_ci; do
if [ -d $d ]; then
  find $d -type d -empty -delete
fi
done

Messung V0.5 in Prozent
C=87 H=75 G=80

¤ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet am  2026-09-29) ¤

*© Formatika GbR, Deutschland






Entwurf

Ziele

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Ergonomie der
Schnittstellen

Diese beiden folgenden Angebotsgruppen bietet das Unternehmen

Angebot

Hier finden Sie eine Liste der Produkte des Unternehmens