Lines Matching full:negated
662 * Test that addition or subtraction operation with both inputs negated are
779 * Test the simplification of an addition with a negated argument into a
923 * Test that a negated subtraction is simplified to a subtraction with its
1031 * Test the simplification of a subtraction with a negated argument.