Hash_table_eq2 on --vac mode takes long (forever?) to execute.

[achenchen1]

Related to PR #121.

Running on --vac seems to loop on the following two lines:

Info: vacuity passed (sat) seahorn/lib/utils.c:107]
Info: assertion passed (unsat) seahorn/lib/utils.c:107]
Info: vacuity passed (sat) seahorn/lib/utils.c:108]
Info: assertion passed (unsat) seahorn/lib/utils.c:108]

[achenchen1]

Some relevant insight from Liam Metke:

I don't think it's endless, it's just that it takes a really long time. It seems to be calling nondet_compare from utils.c to compare elements from each hash table, but the number of elements is capped to be 8 in the tables (I think, I'm just going off a line from the CMakeLists.txt file). So it probably would return given enough time, but it seems like it chews up memory so it gets slower as it runs. I think you should probably leave this until we can get input from @siddharth because the hash_table_eq job from the jobs directory suffers from the same problem when run in --vac mode, so I feel like it's a problem with something from the hash_table testing suite and doesn't really have anything to do with the sea_tracking stuff.

[priyasiddharth]

On my machine
>time ./verify --vac seahorn/jobs2/hash_table_eq2/

real 109m5.066s
user 109m1.671s
sys 0m2.418s