commit | 8fca68bda7f8d16411c4857c95435d348ae77324 | [log] [tgz] |
---|---|---|
author | Simon Urli <simon.urli@inria.fr> | Tue Mar 20 17:33:51 2018 +0100 |
committer | Simon Urli <simon.urli@inria.fr> | Tue Mar 20 17:33:51 2018 +0100 |
tree | 7c7a5aa4f5fedf85de9bc4b189be51fcbe374999 | |
parent | 6081aac88523f86badd0a6350a4af3c85258b14e [diff] |
Improve DefaultInvoker with a timeout. Add corresponding test. This aims at fixing MINVOKER-233