Add failing test case relating to #16

Muqsit · Nov 3, 2022 · abdc2a0 · abdc2a0
1 parent 39da78f
commit abdc2a0
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/tests/muqsit/arithmexp/OptimizerTest.php b/tests/muqsit/arithmexp/OptimizerTest.php
@@ -198,6 +198,12 @@ public function testDivisionOperatorStrengthReductionForEqualOperandsWithGroupin
 		self::assertEquals(1, $expression->evaluate());
 	}
 
+	public function testDivisionOperatorStrengthReductionForEqualOperandsReturningNan() : void{
+		$expression = $this->parser->parse("sqrt(-1) / sqrt(-1)");
+		self::assertInstanceOf(ConstantExpression::class, $expression);
+		self::assertNan($expression->evaluate());
+	}
+
 	public function testDivisionOperatorStrengthReductionForCommutativelyEqualOperands() : void{
 		$expression = $this->parser->parse("(x + y + z) / (y + x + z)");
 		self::assertInstanceOf(ConstantExpression::class, $expression);