Re: [PATCH v2] Overhauled and modularized tests in `instspc.test'.

[Stefano Lattarini]

Now that I've run all those tests (whose results are posted in this 
thread), ok to push to master?

Regards,
   Stefano