Several test suite files consume too much memory

[viper-admin]

Created by @alexanderjsummers on 2019-08-16 15:40 Last updated on 2019-11-18 13:22

This is likely due to matching loops in the files, but should be investigated. The files are:

all/third_party//stefan_recent//testHistoryApplication.vpr

all/third_party//stefan_recent//testHistoryLoop.vpr

all/third_party//stefan_recent//testHistoryThreadsApplication.vpr

examples/quickselect//arrays_quickselect_rec.vpr

[viper-admin]

@fabiopakk commented on 2019-11-18 13:22

The following files no longer have this issue and were removed from the ignore file clause:

• tree_delete_min.vpr
• arrays_quickselect_rec.vpr

Issues with the files above could potentially be solved by https://github.com/viperproject/carbon/issues/286 (Carbon).

‌