saruhei/DePoT — Issue #21: import invariant assert with crawljax
Author: saruhei
Created: 2012-01-17 13:38:41+00:00
State: open

Using crawljax in Invariant assert