It should be possible to use the [[ ]] selection markers to indicate where an error is expected;

test Test error at location [
test Test

module x
entity A {
a :
B
}
1 error
] succeeds

test Test error at other location [
test Test

module x
entity
A {
a : B
}
1 error
] fails /marker expected at selection/

Submitted by Lennart Kats on 28 November 2011 at 16:58

On 28 November 2011 at 16:58 Lennart Kats tagged testing

On 28 November 2011 at 16:58 Lennart Kats tagged testing

On 28 November 2011 at 16:59 Lennart Kats tagged lab

On 28 November 2011 at 16:59 Lennart Kats tagged interesting

On 28 November 2011 at 16:59 Lennart Kats tagged 1.0

On 29 November 2011 at 12:49 Lennart Kats closed this issue.

On 29 November 2011 at 12:49 Lennart Kats commented:

Implemented in r23654.


On 29 November 2011 at 12:49 Lennart Kats removed tag interesting

On 28 December 2011 at 13:18 Lennart Kats tagged @lennartkats

Log in to post comments