search

jakobkroeker / test_singular

manage a personal issue list for Singular CAS
0 stars 0 forks source link

failing autologging #126

Open jakobkroeker opened 9 years ago

jakobkroeker commented 9 years ago

my autologging bugs (generating a .bug file for a failed random test) does not work in all cases, compare logs in log/test.primdec.many.orig.random_mp.00/ with recorded bugs.

Some '.bug' files are empty (why?)