Afivo  0.3
check_ghostcells

This example checks whether ghost cells are non-negative when the solution itself is non-negative