Open eupp opened 1 month ago
Currently Lincheck does not track events from externally created threads (i.e. threads outside of the scenario, created even before the Lincheck test started). Because of this Lincheck cannot test code that uses things like Executors API from Java.
Executors
We need to implement required functionality.
Should be done after #387
eupp
commented
1 month ago
Currently Lincheck does not track events from externally created threads (i.e. threads outside of the scenario, created even before the Lincheck test started). Because of this Lincheck cannot test code that uses things like
ExecutorsAPI from Java.We need to implement required functionality.