MarinaTest: update list of tests to run