SI-5440 Test case for exhaustiveness check

Reported against patmatclassic, working in virtpatmat.

Review by @JamesIry