ligurio / molly

Framework for distributed system's verification, with fault injection.

Home Page:https://ligurio.github.io/molly/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

The close() method is not called

akalend opened this issue · comments

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