tp6q3 - Eclaircissement sur retour d'erreur JNEWS

Programmation Avancée

Modérateur : Douin

jeff.prevot
Messages : 25
Inscription : 02 mars 2013 21:19

tp6q3 - Eclaircissement sur retour d'erreur JNEWS

Message par jeff.prevot » 04 nov. 2018 23:53

Bonsoir,

J'ai une erreur dans les tests JNEWS que je ne comprend pas.
Il m'est retourné comme indication :
test_VisiteurInstPour_AvecLaRègleDInférence(question3) failed
Est-il possible d'avoir un peu plus d'info sur ce retour d'erreur ? De quelle règle s'agit-il ?

Merci d'avance

a.tortevois
Messages : 47
Inscription : 05 oct. 2018 16:00
Contact :

Re: tp6q3 - Eclaircissement sur retour d'erreur JNEWS

Message par a.tortevois » 05 nov. 2018 10:28

Salut,
Est-ce que ça pourrait t'aider :
- viewtopic.php?f=40&t=13809
- viewtopic.php?f=40&t=13836

D'autres se sont cassés les dents dessus avant nous apparemment :)

Je bosse sur la même question mais je n'ai pas fini le code, j'ai commencé VisiteurInstToJava, les fichiers générés ont l'air ok... à voir après soumission à JNEWS s'il reste des boulettes ..

Il me reste VisiteurInsEvaluation à compléter ... mais je n'ai pas trop compris les règles d'inférences :(

Le Pour se transforme en Tantque et le Tantque est récursif ... Image

Douin
Messages : 343
Inscription : 18 mars 2009 15:46

Re: tp6q3 - Eclaircissement sur retour d'erreur JNEWS

Message par Douin » 05 nov. 2018 11:08

Bonjour,

Il va falloir patienter, vous avez de l'avance... je ferai une présentation du tp6 après le cours6

une piste possible, par exemple, en java,
cette instruction
for(init;condition, inc){
instruction;
}
peut se transformer en
init;
while(condition){
instruction;
inc;
}

La règle d'inférence essaie d'exprimer la même chose...

Bons tests

jeff.prevot
Messages : 25
Inscription : 02 mars 2013 21:19

Re: tp6q3 - Eclaircissement sur retour d'erreur JNEWS

Message par jeff.prevot » 05 nov. 2018 20:12

Bonsoir,

Merci de vos réponses.
Un des sujets en lien m'a permis de trouver mon erreur.
Enchaîner des instructions est inutile si elle ne sont pas "encapsulée" dans une instruction englobante.

Répondre

Qui est en ligne ?

Utilisateurs parcourant ce forum : Aucun utilisateur inscrit et 1 invité