The Validation Framework (VF)
is a toolset built upon the Visual Studio 2008 shell that supports the specification of contracts using Another Contract Language (ACL)
. The ACL is a high-level domain independent langauage that is founded upon the notions of responsibilities and scenarios. The
VF accepts the ACL and applies it to a binary Implementation Under Test (IUT)
Feb 26th 2012
- Second Beta release of the VF (184.108.40.206).
Fixed a bug where the HasMemberOfType static check would report incorrect
results with templated base types.
Fixed a bug in the binder where private generic fields did not show up in the binder.
Fixed a bug in the binder where generic IUT types would not bind correctly in all cases.
The release includes several bug fixes - Details