Search results

TLAScheduler does not support minimization

Status: Open.

#17 In ITMO-PTDC-Team/LTest;

· dmitrii-artuhov opened on Mar 29, 2025

Support minimization for scenarios that contain blocking tasks

Status: Open.

#16 In ITMO-PTDC-Team/LTest;

· dmitrii-artuhov opened on Mar 29, 2025

Incorrect tasks termination for blocking data structures (nonlinear_mutex example) on master branch

Status: Open.

#13 In ITMO-PTDC-Team/LTest;

· dmitrii-artuhov opened on Feb 27, 2025

simple_mutex example does not work with pct strategy on master branch

Status: Open.

#12 In ITMO-PTDC-Team/LTest;

· dmitrii-artuhov opened on Feb 27, 2025