04-04-2008
Thanks you very much danmero
It works perfect for all the scenarios like 1-4,6... or 1,4-6,....
Now I need analyse what your code is doing.
10 More Discussions You Might Find Interesting
1. Shell Programming and Scripting
Hi...
I have a sequence of jobs and its predecessors..
Input
Job_Name Predecessor
A NULL
B1 A
B2 A
B3 B1
C B3
C B2
So based on these i have to generate the level Number
What i mean is
Let A be level 1
for B1 to happen it should have done A
so B1 level is A+1 = 1+1 = 2 (12 Replies)
Discussion started by: pbsrinivas
12 Replies
2. Shell Programming and Scripting
Hi,
I have a directory which contains a number of sub directories. They are named as 1.0.0, 1.0.1, 1.0.2...1.1.0..1.1.1...1.2.0..and so on..
Basically these are the tags created at the time of release. Tags are named as major.minor.buildnumber format for modules.
Now I have to search the... (2 Replies)
Discussion started by: bhaskar_m
2 Replies
3. Shell Programming and Scripting
I am facing problem with Shell script to generate Fibonacci series using recursion i.e. recursive function.
Here is my script:
#!/bin/sh
fibo()
{
no=$1
if ; then
return 0
elif ; then
return 1
else
a1=`expr $no - 1`
fibo $a1
... (10 Replies)
Discussion started by: Tapas Bose
10 Replies
4. Shell Programming and Scripting
Hi.
How can I write this in a shorter way?
for NUMs in 1 2 3 4 5 6
I looked at the"seq" command, but I do not think that is what I want.
Can I code
for NUMs (1..7)
Hey!! Is that it? (8 Replies)
Discussion started by: Ccccc
8 Replies
5. Homework & Coursework Questions
Use and complete the template provided. The entire template must be completed. If you don't, your post may be deleted!
1. The problem statement, all variables and given/known data:
Shell script to find sum of first n numbers of Fibonacci series
2. Relevant commands, code, scripts,... (0 Replies)
Discussion started by: Kshitija
0 Replies
6. UNIX for Dummies Questions & Answers
Hi,
My requirement is I have an input file with a continuous series from 10000 to 99999. I have some numbers missing from those series. I want a output file which produces those missing numbers.
Eg: 10002, 99999 are missing from the series then the output file should contain those... (4 Replies)
Discussion started by: rakeshbharadwaj
4 Replies
7. Shell Programming and Scripting
hello,
does anybody can give me a hint on how to generate a lot of numbers which are not identically via scripting etc? (7 Replies)
Discussion started by: xrays
7 Replies
8. Shell Programming and Scripting
Hi,
I have a dataset say
1 2 3 4
5 5 6 7
6 7 8 9
I was wondering if there is a way to add another column with the following style...
1 2 3 4 xyz_1
5 5 6 7 xyz_2
6 7 8 9 xyz_3
It would be greatly appreciated if I can have an option of specifying what to write instead of xyz,... (8 Replies)
Discussion started by: jacobs.smith
8 Replies
9. Shell Programming and Scripting
How do I generate line numbers in Vi?
I have this:
,'04-90020-039N','61423','2GDV00039-0002', SYSDATE);
,'04-90020-040D','61423','2GDV00046-0001', SYSDATE);
,'04-90020-041N','61423','2GDV00038-0002', SYSDATE);
,'04-90020-043D','61423','2GDV00047-0001', SYSDATE);... (3 Replies)
Discussion started by: djehresmann
3 Replies
10. Shell Programming and Scripting
Hi,
i need to move the decimal point from a file listing some numbers like this :
49899.50
49914.55
49894.48
49939.65
49879.44
49919.57
49934.62
49944.67
49954.72 (1 Reply)
Discussion started by: Board27
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)