Tests with Choco3