run general/db/basic1.sim run general/db/basic2.sim run general/db/basic3.sim run general/db/basic4.sim run general/db/basic5.sim #run general//db/tables.sim #run general//db/basic.sim #run general//db/len.sim #run general//db/delete_reuse1.sim #run general//db/delete_reuse2.sim #run general//db/delete_writing1.sim #run general//db/delete_writing2.sim
