Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
drivers
z3_440.drv
Find file
Blame
History
Permalink
Support rlimit for z3
· a8b06f74
Sylvain Dailler
authored
Apr 16, 2019
This replace memory_max_alloc_count with rlimit.
a8b06f74