You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The warning about an error in Polystat looks this way:
RESULT BY AnOdin:
Odin is not able to analyze the code, due to:
Decoration used by object test is not supported.
Only the following types of decoration is supported:
- base > @
- base attr1 ... attrN > @
The warning about an error in a test case looks this way:
RESULT BY AnOdin:
Method `test.n` is mutually recursive with method `base.m` through the following possible code path:
test.n -> base.m -> test.n
How can I differentiate these two warnings?
Is it possible to add some sign that a warning is related to Polystat, but not with a test case?
The text was updated successfully, but these errors were encountered:
@APotyomkin This should be fixed soon, once Maven processes the latest release of odin (we have just released v0.2.0) and polystat is properly updated.
@fizruk@APotyomkinodin v0.2.1 is available on Maven Central! It should fix this issue by turning the errors during the analysis into runtime exceptions.
The warning about an error in Polystat looks this way:
The warning about an error in a test case looks this way:
How can I differentiate these two warnings?
Is it possible to add some sign that a warning is related to Polystat, but not with a test case?
The text was updated successfully, but these errors were encountered: