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: 51de91e815159cfe2100f4c43bca049687e0259e (plain)

1 2	`// RUN: %boogie -errorTrace:0 -traceCaching:1 -verifySnapshots:2 -verifySeparately Snapshots29.bpl > "%t" // RUN: %diff "%s.expect" "%t"`