From 81e96e8c695b582402a17c8957616ee72d6ebb29 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Fri, 20 Jun 2014 17:58:41 +0200
Subject: Changed the 'verifySnapshots' command-line option to accept a numeric
 argument instead of a boolean one.

---
 Test/snapshots/runtest.snapshot | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/snapshots')

diff --git a/Test/snapshots/runtest.snapshot b/Test/snapshots/runtest.snapshot
index f67e6be7..6646d9ea 100644
--- a/Test/snapshots/runtest.snapshot
+++ b/Test/snapshots/runtest.snapshot
@@ -1,2 +1,2 @@
-// RUN: %boogie -verifySnapshots -verifySeparately Snapshots0.bpl Snapshots1.bpl Snapshots2.bpl Snapshots3.bpl Snapshots4.bpl Snapshots5.bpl Snapshots6.bpl Snapshots7.bpl Snapshots8.bpl Snapshots9.bpl > "%t"
+// 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"
-- 
cgit v1.2.3