Opened 17 months ago

Closed 17 months ago

#2664 closed defect (fixed)

FIX - WCPS minus coverageVariableName should be handled properly

Reported by: Bang Pham Huu Owned by: Bang Pham Huu
Priority: major Milestone: 10.1
Component: petascope Version: 10.0
Keywords: Cc: Dimitar Misev
Complexity: Medium

Description

for example, this WCPS query:

for $c in (test_mr) 
let $height_diff := 5, 
    $height_loss_threshold := 10 
return  ( $height_diff <  -($height_loss_threshold))

Here, -$height_loss_threshold should be parsed and handled.

Change History (1)

comment:1 by Bang Pham Huu, 17 months ago

Resolution: → fixed
Status: assigned → closed
Note: See TracTickets for help on using tickets.