add initial bulk run from pre-commit over all files

This commit is contained in:
Felix Schurk 2024-07-29 22:34:51 +02:00
parent 665aeeef61
commit 93356b39c3
418 changed files with 21354 additions and 23858 deletions

View file

@ -14,4 +14,4 @@ pushd test
make
./run_all -v
cat all.log | grep 'not ok'
./problems
./problems