16 Apr
2018
16 Apr
'18
9:48 a.m.
Hi Gerd
thanks, tried it with expr4.patch and option --rand and got some errors:
ERROR: Syntax: $b~2 & length()>=1 {name 'n195'} [0x2] Message: Error: (lines:1): Expression cannot be indexed
This rule works for me on the patched code base, and fails on trunk. Could you check you are running with the patch. When running with --rand, there will be a "Seed was 1523871038110" at the end of the status line that is printed. If you save that value then we can reproduce the test run with --seed 1523871038110 ..Steve