Alloy unit tests / automated tests

Hi everyone,

Can anyone point me at a set of unit tests or an automated test-suite  
for Alloy, if that exists?

I'm working on an academic project that can derive certain  
architectural elements (of interest to testing groups) from an  
existing project.

I'd love to use Alloy as a prototype (just because I think it's cool).

Thanks in advance...