search

gernst / legion-symcc

Fresh implementation of the Legion algorithm on top of SyMCC
Other
0 stars 1 forks source link

[TestComp-2022] OSError: [Errno 12] Cannot allocate memory #28

Open DonggeLiu opened 2 years ago

DonggeLiu commented 2 years ago

Issue

Legion-SymCC triggered the OSError during concrete execution.

Sample Output

Traceback (most recent call last):
  File "Legion.py", line 759, in <module>
    raise e
  File "Legion.py", line 686, in <module>
    code, outs, errs, symcc_log, verifier_out = execute_with_input(
  File "Legion.py", line 457, in execute_with_input
    sp.run(["mkdir", "-p", path])
  File "/usr/lib/python3.8/subprocess.py", line 493, in run
    with Popen(*popenargs, **kwargs) as process:
  File "/usr/lib/python3.8/subprocess.py", line 858, in __init__
    self._execute_child(args, executable, preexec_fn, close_fds,
  File "/usr/lib/python3.8/subprocess.py", line 1639, in _execute_child
    self.pid = _posixsubprocess.fork_exec(
OSError: [Errno 12] Cannot allocate memory

Command

./legion.sh -L ubuntu2004/lib -32 ../../sv-benchmarks/c/array-patterns/array9_pattern.c

Sample programs

reducercommutativity/max10-1.yml array-patterns/array9_pattern.c product-lines/email_spec4_product19.cil.yml (and a lot more)