Horst Schirmeier fc8ad04db2 visualfail: increase default runtime limit to 10m ...

Change-Id: I9bdebb2ad0e4fd6cf0d5e72e2e0520ad3cf6b258

2015-01-06 16:37:15 +01:00

..

resultbrowser

Fail* result browser for pruning experiments.

2014-02-17 10:17:25 +01:00

VisualFAIL

visualfail: increase default runtime limit to 10m

2015-01-06 16:37:15 +01:00