fix #29
add verification of interaction
add a test of memcheck
Merge branch 'master' into dev/digest