summaryrefslogtreecommitdiff
path: root/Test/snapshots/runtest.snapshot
blob: e2d566d8e1f03ae104d60516accb8b0f3e36cb30 (plain)
1
2
// RUN: %boogie -verifySnapshots:2 -verifySeparately Snapshots0.bpl Snapshots1.bpl Snapshots2.bpl Snapshots3.bpl Snapshots4.bpl Snapshots5.bpl Snapshots6.bpl Snapshots7.bpl Snapshots8.bpl Snapshots9.bpl Snapshots10.bpl Snapshots11.bpl Snapshots12.bpl Snapshots13.bpl Snapshots14.bpl Snapshots15.bpl Snapshots16.bpl Snapshots17.bpl Snapshots18.bpl > "%t"
// RUN: %diff "%s.expect" "%t"