test cases VORCAL