add verification of interaction
add a test of memcheck