summaryrefslogtreecommitdiff
path: root/Test/snapshots/runtest.AI.snapshot
blob: 116920b5f168c6ff65a1d409159fd51a3c8701c8 (plain)
1
2
// RUN: %boogie -errorTrace:0 -traceCaching:1 -verifySnapshots:2 -verifySeparately Snapshots29.bpl > "%t"
// RUN: %diff "%s.expect" "%t"