Regressions tests for https://issues.infn.it/browse/STOR-217
Merge branch 'master' of https://github.com/valerioventuri/storm-testsuite