Damian Nadales
Damian Nadales
I don't think you can see that exception, since the process spawn by sqatt is dying. Can't we see any logs? On Thu, May 31, 2018, 09:37 keremispirli wrote: >...
I don't know if it is a good idea to include these emails here ;) Do we need to do something at all for this issue? Any TorXakis user should...
> Yet for robustness we need to test ourselves. I would not put this in our plate. If an issue comes in as a consequence of TorXakis not working with...
> How to solve the copyright issue? See my comment in #901 :)
> Should we have specific editor files like the emacs file .dir-local.el? I think in some cases might make sense, since it ensures that all the project specific configuration is...
Does this mean that TorXakis no longer builds in semaphore ci? On Tue, Oct 16, 2018, 10:33 pjljvandelaar wrote: > In stack.yaml all flags except of hexpat are for 'integer.simple'...
See if https://github.com/TorXakis/TorXakis/pull/901 can solve this. Basically we have to refer people to the `ci/mk-package/ubuntu/mk-package.sh` file and the Docker files.
We should run this locally, since I think the example is failing consistently.
Today when testing the linux installer I saw this: ```text TXS >> TorXakis :: Model-Based Testing TXS >> txsserver starting: "localhost" : 37979 TXS >> Solver "z3" initialized : Z3...
On Linux, testing with `stack test --ta "-m \"Axis\""` seems to make `"Restricted Axis Purpose Test (input eagerness 0) 100"` fail **always**. I don't know whether this could be confirmed...