snapshot: debugging - show the snapshot regions that are added
[model-checker.git] / LICENSE
2013-04-16 Brian Norrismove license to LICENSE file