Change Boogaloo config file so that it is instructed to stop once it finds a bug. Also re-enable the memory limit as that is supported under Docker.
Change Boogaloo config file so that it is instructed
to stop once it finds a bug. Also re-enable the memory limit
as that is supported under Docker.

symbooglix/boogie-runner,symbooglix/boogie-runner