From 435bf9bb9b23f46f3215ddd7d65c2d3ad062ac8b Mon Sep 17 00:00:00 2001 From: ccremers Date: Sat, 27 Jan 2007 09:52:44 +0000 Subject: [PATCH] - Added '--scan-claims switch' --- src/switches.c | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/src/switches.c b/src/switches.c index 7f3eae1..45934a9 100644 --- a/src/switches.c +++ b/src/switches.c @@ -722,6 +722,21 @@ switcher (const int process, int index, int commandline) } } + if (detect (' ', "scan-claims", 0)) + { + if (!process) + { + /* simply reduce allowed trace length to 0, cuts off any iterations immediately. + * useful to simply retrieve all claims. + */ + } + else + { + switches.maxtracelength = 0; + return index; + } + } + if (detect ('A', "all-attacks", 0)) { if (!process)