Refresh pb in view when error is shown

[prapicault]

Run CBMC on the following program. An error should be returned because my_function return type is void but the usage expects an int.
The view displays this error properly, but when I move the sash separting the loops from the list of properties, the error is removed.
Also it would be nice if the message could be wrapped.

include <assert.h>

void my_function(int my_param) {
my_param++;
if (my_param != 3)
my_function(my_param);
}

int main() {
int a = my_function(1);
assert(0);
}