/tests/

• ../
• Makefile
• kind2-examples
• result
• source
• test.c
• testanalyze.sh