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 ([email protected]), 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: [email protected] > To: [email protected] > 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. > > > > >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
