molly
molly copied to clipboard
Framework for distributed system's verification, with fault injection.
```c++ sergeyb@pony:~/sources/molly$ LUA_PATH="?/init.lua;./?.lua;/home/sergeyb/.luarocks/share/lua/5.1/?.lua;/home/sergeyb/.luarocks/share/lua/5.1/?/init.lua; /usr/local/share/lua/5.1/?.lua;/usr/local/share/lua/5.1/?/init.lua" LUA_CPATH="/home/sergeyb/.luarocks/lib/lua/5.1/?.so;/usr/local/lib/lua/5.1/?.so" gdb /usr/bin/luajit test/tests.lua GNU gdb (Ubuntu 9.2-0ubuntu1~20.04.1) 9.2 ... (gdb) run test/tests.lua ... Program received signal SIGSEGV, Segmentation fault. 0x00007ffff7fc0540 in ?? () (gdb) bt...
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...
The [code of postgresql rw-test ](https://github.com/akalend/molly/blob/akalend-patch-1/test/examples/pgsql-rw-register) usingmolly. After first or second call method invoike the connection was closed. It can check parallel sql command: SELECT client_addr,pid,usename,application_name FROM pg_stat_activity; So, it...