[TestComp-2022] Assertion Error (line 243)

[DonggeLiu]

Legion-SymCC terminated on many benchmarking programs because of assertion error in line 243:

Traceback (most recent call last):
  File "Legion.py", line 825, in <module>
    raise e
  File "Legion.py", line 730, in <module>
    root.check_invariants()
  File "Legion.py", line 261, in check_invariants
    raise e
  File "Legion.py", line 257, in check_invariants
    self.yes.check_invariants()
  File "Legion.py", line 261, in check_invariants
    raise e
  File "Legion.py", line 257, in check_invariants
    self.yes.check_invariants()
  File "Legion.py", line 261, in check_invariants
    raise e
  File "Legion.py", line 257, in check_invariants
    self.yes.check_invariants()
  File "Legion.py", line 261, in check_invariants
    raise e
  File "Legion.py", line 243, in check_invariants
    assert not self.yes
AssertionError

Corresponding programs include (but are not limited to):

1. reducercommutativity/avg.yml
2. reducercommutativity/sum.yml
3. loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml
4. loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml ...
5. termination-memory-alloca/b.09_assume-alloca.yml

[DonggeLiu]

Command: ./legion.sh -L ubuntu2004/lib -m 10000 -32 ../../sv-benchmarks/c/reducercommutativity/avg.i