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

kd-tree tests #43

Closed gaperez64 closed 8 months ago

gaperez64 commented 9 months ago

@michaelcadilhac , can you try meson test -C YOUR_BUILD_DIR --suite kdtree in the branch with shrishas-kdtrees?

I got all tests to pass except for when the vector is SIMD-backed. I'm trying to update/clean the test suites so that we use it to spot regressions.

gaperez64 commented 8 months ago

I believe 85b1076f9f70b2e054486ef4b1cf56cd952ad1e5 fixed this :)