tests on different specifications