blob: f67e6be7f133787e3c3246e18c773dd8c2fa73ed (
plain)
1
2
|
// RUN: %boogie -verifySnapshots -verifySeparately Snapshots0.bpl Snapshots1.bpl Snapshots2.bpl Snapshots3.bpl Snapshots4.bpl Snapshots5.bpl Snapshots6.bpl Snapshots7.bpl Snapshots8.bpl Snapshots9.bpl > "%t"
// RUN: %diff "%s.expect" "%t"
|
