diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-13 18:28:59 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-13 18:28:59 -0700 |
| commit | a07fbf029a0172cb9f26c501127b8a91b07b0a6a (patch) | |
| tree | 226898f3a9e150bdb34fdac3b4b331a3d26b9291 /Makefile.config.in | |
| parent | 35723ae8eec286d357e6def1c2adec3638b4af2d (diff) | |
| download | klee-a07fbf029a0172cb9f26c501127b8a91b07b0a6a.tar.gz | |
[Solver] Tune down the shared memory region size on Darwin.
- See comment, this is a gross workaround for Darwin's very small default limit on shared memory size. I'm not sure how big of a counterexample users can actually expect STP to solve in practice -- if there is a practical use for larger ones it would probably be good for us to write a fallback strategy.
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions