Unexpected output in examples repository

[viper-admin]

Created by @fabiopakk on 2019-03-12 13:51 Last updated on 2019-11-04 15:05

This is a container of all issues related to unexpected outputs in examples repository, produced by Carbon.

The particular files and code locations of such issues can be found by their respective UnexpectedOutput annotations, with the present issue number.

[viper-admin]

@fabiopakk commented on 2019-10-04 14:08

Added unexpected output annotations in the following files:

• quickselect//arrays_quickselect_rec.sil
• vmcai2016//linked-list-predicates-with-wands.sil

‌

[viper-admin]

@aterga on 2019-11-04 15:05:

• changed the assignee from (none) to @aterga