Tomasz Kosiński

How to do a single proxy sub-class for several methods which have different annotations

3

Hi, I looked briefly for similar Issue but could not find match. My problem is that I want to do a proxy/wrapped around JUnit5 BeforeAll and Test annotations. ```java AnnotationDescription...

Generated test suite with cover option contains failing tests

5

**Expected vs actual behavior** For certain complexity of program logic we can get cover option to generate unit tests (it may require more time but generates them), once these tests...

Get clarification on how to cast DiagramProvider to FileDiagramProvider in IJ Ultimate 213.5744.223

2

I'm getting compile time error stating that this cast is not feasible: ```java public static FileDiagramProvider getInstance() { return (FileDiagramProvider) DiagramProvider.findByID(ID); } ``` I added SDK of 213.5744.223 version and...

Segmentation fault with satisfy_one function call on a large boolean expression

1

I do not have much to show as expression is in size of several GB but found out this GDB / Python trace that I would like to understand: It...