This package contains the NuSMV tests.