esbmc icon indicating copy to clipboard operation
esbmc copied to clipboard
verified publisher icon esbmc

Operational Models for Time Functions

Open Yiannis128 opened this issue 1 year ago • 0 comments

Write operational models for the following functions:

  • [ ] localtime
  • [ ] strftime
  • [ ] sleep

Yiannis128 avatar Feb 27 '25 00:02 Yiannis128