search

gaperez64 / acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
GNU General Public License v3.0
4 stars 3 forks source link

kdtree enters an infinite loop #9

Closed michaelcadilhac closed 3 years ago

michaelcadilhac commented 3 years ago

On the test ab/ltl2dba_theta_2.ltl, this call:

        if (not found) {
          // this dimension is useless, move to the next one
          return recursive_build (sorted, depth + 1);
        }

results in an infinite loop. Funnily enough, this seems to depend on the optimization flags: some more tests fail with -O3.

gaperez64 commented 3 years ago

interesting! will take a look later today

gaperez64 commented 3 years ago

I am unable to reproduce this @michaelcadilhac , which buildtype are you using with meson to get this?

gaperez64 commented 3 years ago

I found a possible infinite loop in the logic though, pushed a change now, let me know if the problem persists.

gaperez64 commented 3 years ago

It was a bug in your code (array_backed).