Commit Graph

2 Commits

Author SHA1 Message Date
Łukasz Osipiuk 081b13b4e0 Initial migration of PredicateChecker to scheduler framework (with TODOs)
Change-Id: I86b427e98a0258f2a1bcbbe92861850b75a3edfc
2020-01-20 21:08:50 +01:00
Łukasz Osipiuk da5f0f6f9e Cleanup simulator.PredicateError
Change-Id: I58d21a0aa0798f0468d68beb11931865cdde6f94
2020-01-20 21:08:50 +01:00