Evgeniy Moiseenko issues

Repositories
Issues
Comments

Results 51 issues of


                                            Evgeniy Moiseenko

Improve support of time-related APIs in the model checking mode

Currently, Lincheck provides a naive implementation of time APIs in the model checking mode (some predefined constant is always returned). In order to support more complex code relying on timing...

general-purpose mc