Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

randomly crashing algos #13

Open
24 of 35 tasks
rurban opened this issue Mar 22, 2024 · 0 comments
Open
24 of 35 tasks

randomly crashing algos #13

rurban opened this issue Mar 22, 2024 · 0 comments
Assignees
@rurban
Labels
bug Something isn't working

Comments

@rurban
Copy link
Owner

rurban commented Mar 22, 2024 •
edited
Loading

mostly with longer patterns, >=2048 in rand*. detected with the new error log. Some require a trailing zero, some even room after the text!
./test algo or ./test-asan algo do not detect these yet!

  • colussi, gg (Fixed preColussi with 5eeb75e)
  • hor (unrelated test problem, fixed by 15eceef)
  • gs, zt, om, ms, fs, ffs, bfs (unrelated test problem, fixed by 8ef2b56)
  • faoso4
  • tsw (m < n + 3, fixed with 46005a6)
  • graspm (fixed overflow and loops, but still fails)
  • bsdm
  • bsdm2
  • bsdm3
  • bsdm4
  • bsdm8
  • bxs (but fails now)
  • bxs1
  • bxs3
  • bxs4
  • bxs6
  • bxs8
  • sbndm
  • trf
  • tsa-q2 (fixed with ffbf3b8)
  • tso5
  • tvsbs
  • ufndmq4
  • ufndmq6
  • fsbsdm
  • fsbndm-w1
  • fsbndm-w2
  • fsbndm-w4
  • fsbndm-w6
  • fsbndm-w8
  • sbndm-w2
  • sbndm-w4
  • sbndm-w6
  • epsm
  • libc1

run it via make; ./select -all; (sleep 2s; ./kill-tests.sh &); ./smart -text all
@rurban rurban added the bug Something isn't working label Mar 22, 2024
@rurban rurban self-assigned this Mar 22, 2024
rurban added a commit that referenced this issue Mar 23, 2024
@rurban
fix faoso4,6
007afe0 
seems to work correct now
part of GH #13
rurban added a commit that referenced this issue Mar 23, 2024
@rurban
fix faoso4,6
09cc7da 
seems to work correct now
part of GH #13
rurban added a commit that referenced this issue Mar 24, 2024
@rurban
asan.lst: sbndm-w* crash, skip em
b0557e5 
See GH #13
rurban added a commit that referenced this issue Mar 24, 2024
@rurban
fix tsw: add constraints: m < n - 3
46005a6 
fallback to search_small then.
Fixes one crash in GH #13
rurban added a commit that referenced this issue Mar 24, 2024
@rurban
fix graspm, needed to add 3 checks
d45b854 
Added Constraints: m>1
Needed to add 3 checks to avoid overflows and skip an
endless loop when found.
But the tests fail to find enough occurences.

See GH #13
rurban added a commit that referenced this issue Mar 24, 2024
@rurban
fix graspm, needed to add 3 checks
b04032b 
Added Constraints: m>1
Needed to add 3 checks to avoid overflows and skip an
endless loop when found.
But the tests fail to find enough occurences.

See GH #13
rurban added a commit that referenced this issue Mar 24, 2024
@rurban
fix graspm crashes, needed to add 3 checks
02a2c6a 
Added Constraints: m>1
Needed to add 3 checks to avoid overflows and skip an
endless loop when found.

But the tests fail to find enough occurences.

See GH #13
rurban added a commit that referenced this issue Mar 24, 2024
@rurban
asan: update failing algos
f2b6220 
GH #13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rurban rurban

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@rurban