Ehnance testing adding owl-top and owl-zoo

[mseri]

Signed-off-by: Marcello Seri [email protected]

[mseri]

Now also these tests spot some of the linking issues: # Error: Error on dynamically loaded library: /home/runner/.opam/4.10.1/lib/stublibs/dlleigen_cpp_stubs.so: /home/runner/.opam/4.10.1/lib/stublibs/dlleigen_cpp_stubs.so: undefined symbol: _ZTVN10__cxxabiv117__class_type_infoE

[tachukao]

the tests still seem to be broken? but maybe they don't matter?

[mseri]

Not working still. I am trying to figure out if and how to use the new dune feature but mixing c and cpp seems to be still a problem