Zsófia Ádám

icon company @ftsrg icon location Software Engineering PhD Student @ftsrg

Results 22 issues of Zsófia Ádám

Re-add summaries into trace generation

I need to work on this a little later and re-add them. Currently they are removed temporarily due to some issues.

enhancement

Move liveness property (acceptance predicate) from XCFA to more appropriate place

2 comment

**Issue:** I had to add a prop to XCFA, which is then added to the configs as acceptance predicate. It's really not nice to have it in the XCFA, it...

enhancement