test cases for triangle typer