summaryrefslogtreecommitdiff
path: root/Test/test21
diff options
context:
space:
mode:
authorGravatar rustanleino <unknown>2010-07-30 18:58:56 +0000
committerGravatar rustanleino <unknown>2010-07-30 18:58:56 +0000
commit62fdc7d6ae9b6edf8b4031ad0ed4068d23e82000 (patch)
tree70bbf3afb203ea567490e6922d3de98aa0f09499 /Test/test21
parent0021cbcbd7ab53b8fad71f7216981ad2b8a8b49b (diff)
Also build Boogie and Dafny projects in 32-bit configurations.
Don't insist on DafnyDriver picking up the LKG version (1.0.21125.0) of the Spec# runtime (in fact, most builders will probably have 1.0.21126.0).
Diffstat (limited to 'Test/test21')
0 files changed, 0 insertions, 0 deletions