Spurious failure when calling vec! with a size of zero #90
Description
#79 added a new test in rust-tests/cbmc-reg/NondetVectors/fixme_main.rs where a Vector is initialized with a nondet. value, but this is not supported at the moment.