Urmas Repinski
2013-04-22 07:13:54 UTC
Tere!
Sobib küll, 29 aprill kell 16.00.
Ma leidsin seda väikest tutorial-i
http://www.cs.purdue.edu/homes/kim1051/cs490/proj3/description.html
On symbolic faili käivitamisest, aga ei tööta ikka.
Kirjutasin klee developer listi ka (klee-dev-AQ/***@public.gmane.org), ootan vastused. Edastan listi kiri ka, seal on hästi probleem sooritatud (järgmises kirjas).
Kuhtumiseni,
Urmas Repinski.
> Date: Mon, 22 Apr 2013 09:59:37 +0300
> From: juhan-Z+B8lsh8C8GzQB+***@public.gmane.org
> To: urrimus-***@public.gmane.org
> Subject: Re: KLEE katsed ja edasi dissertatsiooniga tegelemine
>
> Tere Urmas!
>
> Vaatame Klee probleemidele koos otsa. Aga kahjuks pole mul enne järgmist
> nädalat võimalik, mul on käesolev nädal juba tegevustega ülebroneeritud.
>
> Pakun kokkusaamiseks välja 29. aprillil kella 16.00-ks. Seni soovitan
> uurida KLEE veebilehte ja näiteid, ehk õnnestub ise probleemile lahendus
> leida.
>
> --
> Juhan
>
> 20.04.2013 16:07, Urmas Repinski kirjutas:
> > Tere, Juhan.
> >
> > Mul on uudised - ma leppisin Tanel Tammet'ga kokku et Teie ja tema olete minu juhendajad kokku.
> > Ma teen mai alguses presentatsiooni - seletan millised tulemused on olemas ja mis on see tool, millega ma tegelen.
> >
> > Klee-ga mul tekkis probleem - kui Teil on olemas inimesed, kes on rohkem kleega tuttavad siis kas on võimalik küsida nende käest - kuidas tekkitada symbolic faili klee-ga?
> > Muidu mul ei õnnedtu tekkitada kleega symbolic faili, ja kõik teised disainid eeldavad, et on olemas failisisend, ja sellega ma ei saa uued katsed teha.
> > Internetis ei ole piisavalt informatsiooni klee-st ka.
> >
> > Muidu esimeseks on vaja kindlasti publitseerida asjad, mis on juba kirjutatud - Model-Based Error Localization and Mutation-Based Error Correction C disainide jaoks.
> >
> > Ootan abi või muut infot klee käivitramisest.
> >
> > Urmas Repinski.
> >
> >
>
Sobib küll, 29 aprill kell 16.00.
Ma leidsin seda väikest tutorial-i
http://www.cs.purdue.edu/homes/kim1051/cs490/proj3/description.html
On symbolic faili käivitamisest, aga ei tööta ikka.
Kirjutasin klee developer listi ka (klee-dev-AQ/***@public.gmane.org), ootan vastused. Edastan listi kiri ka, seal on hästi probleem sooritatud (järgmises kirjas).
Kuhtumiseni,
Urmas Repinski.
> Date: Mon, 22 Apr 2013 09:59:37 +0300
> From: juhan-Z+B8lsh8C8GzQB+***@public.gmane.org
> To: urrimus-***@public.gmane.org
> Subject: Re: KLEE katsed ja edasi dissertatsiooniga tegelemine
>
> Tere Urmas!
>
> Vaatame Klee probleemidele koos otsa. Aga kahjuks pole mul enne järgmist
> nädalat võimalik, mul on käesolev nädal juba tegevustega ülebroneeritud.
>
> Pakun kokkusaamiseks välja 29. aprillil kella 16.00-ks. Seni soovitan
> uurida KLEE veebilehte ja näiteid, ehk õnnestub ise probleemile lahendus
> leida.
>
> --
> Juhan
>
> 20.04.2013 16:07, Urmas Repinski kirjutas:
> > Tere, Juhan.
> >
> > Mul on uudised - ma leppisin Tanel Tammet'ga kokku et Teie ja tema olete minu juhendajad kokku.
> > Ma teen mai alguses presentatsiooni - seletan millised tulemused on olemas ja mis on see tool, millega ma tegelen.
> >
> > Klee-ga mul tekkis probleem - kui Teil on olemas inimesed, kes on rohkem kleega tuttavad siis kas on võimalik küsida nende käest - kuidas tekkitada symbolic faili klee-ga?
> > Muidu mul ei õnnedtu tekkitada kleega symbolic faili, ja kõik teised disainid eeldavad, et on olemas failisisend, ja sellega ma ei saa uued katsed teha.
> > Internetis ei ole piisavalt informatsiooni klee-st ka.
> >
> > Muidu esimeseks on vaja kindlasti publitseerida asjad, mis on juba kirjutatud - Model-Based Error Localization and Mutation-Based Error Correction C disainide jaoks.
> >
> > Ootan abi või muut infot klee käivitramisest.
> >
> > Urmas Repinski.
> >
> >
>