Test annotation parser is not aware of imports

[viper-admin]

Created by @aterga on 2016-04-10 02:53 Last updated on 2017-11-26 16:44

The error could be reproduced if the following multi-file Silver program starts from either liba.sil or libb.sil.

all/import/loop/liba.sil
all/import/loop/libb.sil
all/import/loop/main.sil

The expected output of the failed assertion in main.sil does not prevent the test from failing.

[viper-admin]

@alexanderjsummers on 2016-05-10 15:12:

• changed the assignee from (none) to @marcoeilers

[viper-admin]

@marcoeilers commented on 2016-10-10 10:38

The problem isn't that the positions don't match, it's that the test annotation parser is completely unaware that imports even exist, and it doesn't parse the test annotations from imported files.

[viper-admin]

@marcoeilers on 2016-12-22 12:56:

• changed the assignee from @marcoeilers to (none)
• edited the title

[viper-admin]

@marcoeilers on 2016-12-22 12:57:

• changed component from Parser to (none)

[viper-admin]

@mschwerhoff commented on 2017-11-26 16:44

Somewhat related: https://github.com/viperproject/silver/issues/203, https://github.com/viperproject/silver/issues/229