process_limits
  1. Overview
  2. Docs
Setting time and memory limits for your program

Install

semgrep.dev Readme Changelog LGPL-2.1-only License Edit opam file

Authors

  1. Y
    Yoann Padioleau <pad@r2c.dev>

Maintainers

  1. Y
    Yoann Padioleau <pad@r2c.dev>

Sources

1.5.5.tar.gz
md5=3536f6162fec35b13072e8fd84c4e985
sha512=89cdda71fe2036b94ae6142f55f1a55d8d142ec3c9e49206b5a91f5f217984fd5b7564a165011dd845f5b50f32a29d3b969dc404c41d6e140a81cb7106c1ac7b

Description

This is a small library of utilities used by Semgrep and a few other projects developed at r2c to control the time and memory used by Semgrep.

Published: 27 Jan 2023

Dependencies (3)

  1. commons >= "1.5.5"
  2. dune >= "3.2.0"
  3. ocaml >= "4.12.0"

Dev Dependencies

None

Used by (1)

  1. profiling

Conflicts

None