ltsview no longer shows deadlocks

[gjveltink]

The "ltsview" in the most recent version of the tool set no longer shows deadlock states.

I normally use ltsview during my lectures to quickly show a deadlock state.
However, this is no longer working in the 2024 version of the toolset.
It is not the case that the deadlock state is no longer flagged as "red", rather the entire deadlock state is missing! ;-)

Simple example:

act a, b, c;
init a . b . delta + b . delta + c; 

[mlaveaux]

I don't use ltsview that often, but when I enable "Display States" and "Mark Deadlocks" I see the output shown below. Is this indeed what you would expect to show, and can you share a screenshot of what is shown instead?

[gjveltink]

Hi Maurice,

Many thanks for your reply and the image!
Unfortunately, this is not the exact image I was referring to.
Normally, I only have to pick "Mark Deadlocks" and the small (deadlock) sphere would turn red.
Currently, the deadlock state is not shown in the normal overview.
It might show up, as soon as "Display States" is checked, like you did, but I do not know that for sure.

I will have to try it out later and add images (screenshots) when I am at the right machine.
Then I will be able to show, that the behaviour has changed between the 2023 and 2024 versions of the tool set.

Cheers!

• Gert

[gjveltink]

Here are 3 screenshots showing the difference in behaviour.
In the 2024 tool set the "no marks" and "mark deadlock" cases do not differentiate.

toolset_2023_no_marks.png:

toolset_2023_mark_deadlocks.png:

toolset_2024_mark_deadlocks.png:

[mlaveaux]

Thanks for the additional information and the screenshots, I will look into it!

[mlaveaux]

The conclusion is that this broke during our transition to Qt6. I have made no further progress towards solving it, but will look into it again later.