search

diffblue / 2ls

Static Analyzer and Verifier
http://www.cprover.org/2LS
Other
43 stars 22 forks source link

Is there any way to know/set max memory usage and timelimit? #142

Closed flavluc closed 4 years ago

flavluc commented 4 years ago

I'm trying to run the tool for a benchmark experiment but i didn't find anywhere in the README neither in the help message about these options. There's a --show-stats option but it doesn't show what i'm looking for.

viktormalik commented 4 years ago

As far as I know, there is no way to set this. For experiments where a resource limit is needed, we use BenchExec that is used in SV-COMP. You could do a similar thing to what BenchExec does yourself - run 2LS in a Linux container to set memory usage limit and use the timeout command to specify the time limit.

This is as much as I know, perhaps @peterschrammel could be able to help you better.

peterschrammel commented 4 years ago

Yes, this would be my recommendation too. There are also tools like https://www.cril.univ-artois.fr/~roussel/runsolver/ that package that functionality.

flavluc commented 4 years ago

Ok, thank you for the information!