add test cases for the simulator using one tet model.