Untersuchungsergebnis.out Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln
File "./output/Qf_end.v", line 2, characters 4-5:
Error:
Last block to end has name A.
Quickfix:
Replace File "./output/Qf_end.v", line 2, characters 4-5 with A
coqc exited with code 1
[ Dauer der Verarbeitung: 0.86 Sekunden
]
