Search Results

Hi..
I have downloaded it... But daikon has to compile with this.. I can't tweak the script.. The valgrind I have does not have fjalar..

---------- Post updated at 10:00 AM ---------- Previous...

Hello,
I want to install and run a tool called Daikon on my Ubuntu(latest version)
While compiling I got this error-------->

checking the GLIBC_VERSION version... unsupported version
configure:...

the result is :
parama@ubuntu:~$ $(ldd `which ls` | grep libc | awk '{ print $3 }')
GNU C Library (Ubuntu EGLIBC 2.12.1-0ubuntu10) stable release version 2.12.1, by Roland McGrath et al.
Copyright...

i am trying to install a tool called daikon... when installing i get this---->


can u help??

i am using Ubuntu 10.10
- the Maverick Meerkat - released in October 2010

how do u say it is old : help!!

I need glibc version 2.2 - 2.11 for a installation. but i got glibc 2.0-2.1 from software centre... what to do? can u help?

thx so much dude!

---------- Post updated at 04:37 PM ---------- Previous update was at 03:56 PM ----------

I need glibc version 2.2 - 2.11 for a installation. but i got glibc 2.0-2.1 from...

but i need the path where JDK is installed... how do i get that?
using which javac i am getting javac path... not the entire jdk path.. using which jdk i am getting nothing

Hello,
I have installed the default JDK from Software centre, but when i type whereis JDK on the terminal.. i don't see any path :mad:
i need JDk to install a tool ... Hurry!!! please...

got it.. thx :)
now i added another line to it
ie
./yices < file1.ys
where yices is a tool and file1 is the changed file.
the result is either 'sat' or 'unsat' i want to store this result in a...

yes it is working... but if the values are anything... not only 0 and 1 (given in ur code) what will i write?

Anurag,
in the code u hgave used {0,1}, but if my value is anything, what will be in the generic case?

yes i think this should work!! thanks so muchh!! i will write back if i am stuck anywhere else... cheerzzz:D

I do not want to replace with fixed values. I have to search for the string OUT in the new file(data.txt) and replace the OUT in file1 with the corresponding value(it may be 0/1/2/3 , anything)
that...

hi anurag,
u r right... it will be like this:
data.txt:

main: ARG 1
function1: F1 1
function2: F1' 1
main: OUT 0
function1: F2 1
function2: F2' 0

now...

can i store the out put of yices and then check that? is there any way to store it in a variable (flags)?

I actually have some more blocks, so if i use the same command, will it be split in the same way to spla, splab, splac etc? and can I write this in a single script? how to do these in a single shell...

Hi.. thx so much for the quick reply!! I just want to separate the blocks and send it as an argument to a tool(yices). a shell script for that i want.. i am new to linux environ..
basically i am...

Hello,
I have a file like this:
FILE.TXT:
(define argc :: int)
(assert ( > argc 1))
(assert ( = argc 1))
<check>
#
(define c :: float)
(assert ( > c 0))
(assert ( = c 0))
<check>
#
now,...

Hi Anurag,
I have two files:

Stack.txt:

main: 1
function1: 1
function2: 1

and

Output.txt:

main: 0
function1: 1
function2: 0


I want to concatenate them into a...

I had a file which had all this data... I had separated it only :P
actually the data in file 2, 3, 4 etc are divided into 2 files... i have to merge them. okay i will see this and get back to you....

Guys thanx for replying!!:D
But will these solve my problem? since where exactly are we searching the string 'OUT' here? I actually have similar other strings to search and replace with other values...

Hi Everyone,
I am new to this forum and new to sed/awk programming too !!
I need to find particular string in file1(text file) and replace it with a value from another text file(file2) the file2...