Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
test.sh
Sprache: Unknown
|
for (( i = 0 ; i <= 500; i++ ))
do
java -jar ~/.m2/repository/org/overturetool/core/vdmj/2.1.0/vdmj-2.1.0.jar -vdmsl .
done
[ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
]
|
