products/sources/formale sprachen/Coq/test-suite/output/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei:   Sprache: Shell

#!/bin/sh
set -e

$coqc -R misc/quick-include/ QuickInclude -quick misc/quick-include/file1.v
$coqc -R misc/quick-include/ QuickInclude -quick misc/quick-include/file2.v

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