search

ligurio / molly

Framework for distributed system's verification, with fault injection.
https://ligurio.github.io/molly/
ISC License
11 stars 2 forks source link

The close() method is not called #2

Closed akalend closed 3 months ago

akalend commented 3 months ago

If we insert the print() in first position of the close() method, we will not see the output results of the method : close

sqlite_rw_register.close = function(self)
    print('close')
    self.db:close()
    return true
end