-
Matthias Braun authored
also removed some assert(0) used in verifiers to stop when compiling with assertions (you better use your debugger to stop and keep the code clean)
3882b249
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
also removed some assert(0) used in verifiers to stop when compiling with assertions (you better use your debugger to stop and keep the code clean)