blob: 6646d9ea3eea928b230c5b1c7e86c68a1c655f37 (
plain)
1
2
|
// RUN: %boogie -verifySnapshots:1 -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"
|
