diff options
author | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-03-12 14:02:26 -0700 |
---|---|---|
committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-03-12 14:02:26 -0700 |
commit | 8f9d247e5c0aca8d811939892ab3be2a5acbdb5d (patch) | |
tree | 8891adf39fac8bcdcbd9f73f23018a36290f9742 /Source/Core/Scanner.cs | |
parent | b4e28294956e0c1683386cea5d07c2e1f43d5476 (diff) |
Boogie: temporarily disabled the "datatypes" test cases, until a null dereference error in the Boogie code gets resolved
Diffstat (limited to 'Source/Core/Scanner.cs')
0 files changed, 0 insertions, 0 deletions