10-23-2008
i dnon't know if there is a tool to do what you want. but how about this workaround?
after every analyse make a copy of the file. before every new analyse look for the "diff" and only analyse these differences... this can be done very easy with some lines of shell script code!
hth,
DN2
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Hi,
I have this text in a file where I need to move part of the text....
<Relation1 OriginatingObjectID="Holding_1" RelatedObjectID="Party_1" id="Relation_1">
<OriginatingObjectType tc="4">Holding</OriginatingObjectType>
<RelatedObjectType tc="6">Party</RelatedObjectType>... (4 Replies)
Discussion started by: mgirinath
4 Replies
2. Shell Programming and Scripting
Hi folks,
I want Trailer to be added into the txt file the format is below.
flatfile-> abc.txt
count of the file is 500 records.
I want the trailer in this format: TRAILER|500 (pipe delimeter).
Please suggest the comands ASAP.
Rgds
Ann (5 Replies)
Discussion started by: Haque123
5 Replies
3. UNIX for Dummies Questions & Answers
Ok, I am brand new to UNIX and I am trying to learn a cross between basic script and database use. I had got some ideas off the net on simple ideas for learning UNIX. I am working on creating a simple phone book program that allows myself to enter our employees from work into a phone book text... (0 Replies)
Discussion started by: georgefurbee
0 Replies
4. Shell Programming and Scripting
***************
#some other text
*****************
***************
#some other text
*****************
address1=1.1.1.1
address2=2.2.2.2
address3=3.3.3.3
I have a file where i need to push all the text starting from address1 till end of file to, below . Can anyone of you... (6 Replies)
Discussion started by: srikanthgoodboy
6 Replies
5. Shell Programming and Scripting
Hi guys
So I have a very large log file where each event is logged along with the time that it occurred.
So for e.g. The contents of the file look like:
...
12:00:07 event 0 happened.
12:01:01 event 1 happened.
12:01:05 event 2 happened.
12:01:30 event 3 happened.
12:02:01 event 4... (10 Replies)
Discussion started by: alinaqvi90
10 Replies
6. Shell Programming and Scripting
I have a text file with delimiter "|" and sometimes the zipcode is in "5th" column or "6th" column. I want to scan the file and remove the "-2323" from the zipcode which has zip+4 digits
From
blah|blah|foo|bar||blah|945523-232|USA
blah|blah|foo|bar||blah|foo|94555-2323|USA
To... (8 Replies)
Discussion started by: gubbu
8 Replies
7. Shell Programming and Scripting
I need to extract the following lines from this text and put it in different files.
From xxxx@gmail.com Thu Jun 10 21:15:46 2010
Return-Path: <xxxxx@gmail.com>
X-Original-To: xxx@localhost
Delivered-To:xxxx@localhost
Received: from ubuntu (localhost )
by ubuntu (Postfix) with ESMTP... (11 Replies)
Discussion started by: waxo
11 Replies
8. Shell Programming and Scripting
0400903071220312 20120322 20:21
1TRANTELSTRAFLEXCAB22032012CMP201323930000812201108875802100A003485363 12122011AUS 182644 000C2
8122011 0000 000
1TRANTELSTRAFLEXCAB22032012CMP201323930000812201108875802100A003485363 12122011AUS ... (6 Replies)
Discussion started by: rammm
6 Replies
9. Windows & DOS: Issues & Discussions
I have several files that are named like this "DotP_D14 - Verknüpfung"
They all have the " - Verknüpfung" in common.
I'd like to rename all of them to get rid of that last part.
Is this possible with DOS on windows ? (1 Reply)
Discussion started by: pasc
1 Replies
10. UNIX for Dummies Questions & Answers
I am trying to find a code that can help me mail to a list of recipients which are in a text file.
Sample code
$cat recipient.txt
me@test.com
me1@test.com
me2@test.com
I want a mailx step that can read contents of recipient.txt and mail to all the users.
I don't want to use mails... (1 Reply)
Discussion started by: Gurkamal83
1 Replies
LEARN ABOUT DEBIAN
sparksimp
sparksimp(1) sparksimp(1)
NAME
sparksimp - analyses all generated SPARK proof artifacts (in parallel)
SYNOPSIS
sparksimp [OPTIONS] [-sargs SIMPLIFIER_OPTIONS] [-zargs ZOMBIESCOPE_OPTIONS] [-vargs VICTOR_OPTIONS]
DESCRIPTION
sparksimp, analyses all verification conditions and dead path conjectures generated by the Examiner for SPARK and attempts to discharge
them using the Simplifier, ZombieScope and ViCToR. If requested, this can be done in parallel.
This manual page only summarises the sparksimp command-line flags, please refer to the full SPARKSimp manual for further information.
OPTIONS
These options do not quite follow the usual GNU command line syntax as options start with a single dash instead of the usual two.
-a Processes all files, even if their time-stamp indicated that they have been previously analysed.
-v Displays version information.
-V Verbose output.
-n Dry run -- this prints only the list of files to analyse and then stops.
-ns Do not run the Simplifier.
-nz Do not run ZombieScope.
-victor
Run ViCToR/Alt-Ergo on VCs left unproven by Simplifier. If -ns is specified then this will run ViCToR on all VCs.
-t, -r Sort vcg file by size and analyse the largest ones first. If -r is specified as well analyse the smallest ones first.
-l Log spadesimp and zombiescope output for each unit analysed to UNIT.log and UNIT.zsl respectively.
-e Echo all output to the screen; this option cannot be used in conjunction with -p.
-p=N Use N concurrent processes.
-x=PATH
Specifies an alternative Simplifier executable.
-z=PATH
Specifies an alternative ZombieScope executable.
-sargs OPTIONS, -zargs OPTIONS, -vargs OPTIONS
Any options following one of these will be passed to directly to the Simplifier, ZombieScope or ViCToR respectively. Please see
their manual pages or documentation for more information.
SEE ALSO
spark(1), spadesimp(1), zombiescope(1), victor(1), pogs(1)
sparkformat(1), sparkmake(1)
AUTHOR
This manual page was written by Florian Schanda <florian.schanda@altran-praxis.com> for the Debian GNU/Linux system (but may be used by
others). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Ver-
sion 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover
Texts.
22 March 2011 sparksimp(1)