Skip to content

Latest commit

 

History

History
9 lines (5 loc) · 334 Bytes

config.md

File metadata and controls

9 lines (5 loc) · 334 Bytes

Configuration options

time_limit : integer

Specifies the maximum time limit in seconds of souffle programs. If this limit is reached the souffle process is killed and an appropriate error is returned to the client.

mem_limit : integer

Specifies the maximum memory limit in kilobytes until souffle programs are killed.