diff options
author | 2011-01-21 13:18:53 +0000 | |
---|---|---|
committer | 2011-01-21 13:18:53 +0000 | |
commit | 94af5d3681e1cd1af9b648ecd8e55074958415f3 (patch) | |
tree | d37de6f1d6f93f77ff4d8c2b782926cac75271bc /BCT/RegressionTests/TranslationTest/TranslationTest.csproj | |
parent | c91f8515330a0b6e708829543201c58bcf7e277c (diff) |
Boogie: Made the algorithm for finding Z3 more robust.
Diffstat (limited to 'BCT/RegressionTests/TranslationTest/TranslationTest.csproj')
0 files changed, 0 insertions, 0 deletions