runtest.AI.snapshot « snapshots « Test - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

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"`