| Commit message (Collapse) | Author |
|---|
|
Also, I don't think calling random.seed is necessary.
|
|
This should hopefully reduce clutter in the test/ directory.
Side note: if I leave the __init__.py file in the new py/ directory,
pytest fails with import errors. To make it work, I need to either
delete it or keep the __init__.py file in both test/ and py/. No idea
why.
|
|
|
|
|
|
|
|
|
|
|
|
This was quite a bit of refactoring in test/; everything should be
more maintainable and robust in theory.
Also, valgrind.sh was fixed to use exec (so that signals are passed to
the underlying process); Valgrind command line options have also been
tweaked.
./ci.sh fails now, but that should be fixable.
|
|
|
|
I'm super-unsure about this; I don't really like all the magic, but
we'll see, I guess?
|
