-- putStr "prop_c0300_identity3... "
-- quickCheckWith qc_args TF.prop_c0300_identity3
- putStrLn "prop_interior_values_all_identical... "
+ putStr "prop_interior_values_all_identical... "
quickCheckWith qc_args prop_interior_values_all_identical
- putStrLn "prop_c_tilde_2100_rotation_correct... "
+ putStr "prop_c_tilde_2100_rotation_correct... "
quickCheckWith qc_args prop_c_tilde_2100_rotation_correct
- putStrLn "prop_x_rotation_doesnt_affect_front... "
+ putStr "prop_x_rotation_doesnt_affect_front... "
quickCheckWith qc_args prop_x_rotation_doesnt_affect_front
- putStrLn "prop_x_rotation_doesnt_affect_back... "
+ putStr "prop_x_rotation_doesnt_affect_back... "
quickCheckWith qc_args prop_x_rotation_doesnt_affect_back
- putStrLn "prop_y_rotation_doesnt_affect_left... "
+ putStr "prop_y_rotation_doesnt_affect_left... "
quickCheckWith qc_args prop_y_rotation_doesnt_affect_left
- putStrLn "prop_y_rotation_doesnt_affect_right... "
+ putStr "prop_y_rotation_doesnt_affect_right... "
quickCheckWith qc_args prop_y_rotation_doesnt_affect_right
- putStrLn "prop_z_rotation_doesnt_affect_top... "
+ putStr "prop_z_rotation_doesnt_affect_top... "
quickCheckWith qc_args prop_z_rotation_doesnt_affect_top
- putStrLn "prop_z_rotation_doesnt_affect_down... "
+ putStr "prop_z_rotation_doesnt_affect_down... "
quickCheckWith qc_args prop_z_rotation_doesnt_affect_down
- putStrLn "prop_c_tilde_2100_correct... "
+ putStr "prop_c_tilde_2100_correct... "
quickCheckWith qc_args prop_c_tilde_2100_correct