If a pattern ends with an expression, then the requirement separator "." must be preceded by a white space.
i.e. given an precedenceChainPattern2-1,
R1: ".... was preceded by S < 10."
showing the error
"line 1:53 no viable alternative at input 'itisalwaysthecasethatifS1>10andis'"
The error can be resolved by rewriting the requirement as
R1: ".... was preceded by S < 10 ."
This bug is probably is due to the fact that the "." is also used as number separator.
A viable way to resolve the problem could be to use ";" as requirement separator.
see the tests/test_precedence_chain_2-1_pattern.txt for a concrete example.
If a pattern ends with an expression, then the requirement separator "." must be preceded by a white space.
i.e. given an precedenceChainPattern2-1,
R1: ".... was preceded by S < 10."
showing the error
"line 1:53 no viable alternative at input 'itisalwaysthecasethatifS1>10andis'"
The error can be resolved by rewriting the requirement as
R1: ".... was preceded by S < 10 ."
This bug is probably is due to the fact that the "." is also used as number separator.
A viable way to resolve the problem could be to use ";" as requirement separator.
see the tests/test_precedence_chain_2-1_pattern.txt for a concrete example.