products/Sources/formale Sprachen/Coq/kernel/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: dune-dbg.in   Sprache: Unknown

Spracherkennung für: .in vermutete Sprache: Latech {Latech[88] HTML[160] Haskell[220]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

#!/usr/bin/env bash

# Run in a proper install dune env.
case $1 in
    checker)
        exe=_build/default/checker/coqchk.bc
        ;;
    *)
        exe=_build/default/topbin/coqtop_byte_bin.bc
        ;;
esac

ocamldebug $(ocamlfind query -recursive -i-format coq.top_printers) -I +threads -I dev $exe

[ Dauer der Verarbeitung: 0.78 Sekunden  ]