Fonction `rev_cond_gen` manquante

Dans sasa-rdbg-cmds.ml, il semblerait qu'il manque la fonction rev_cond_gen. Cela empèche de lancer rdbg avec sasa. J'ai vu ce nom de fonction dans tools/rdbg4sasa/gtkgui.ml et tools/rdbg4sasa/sasa-rdbg-cmds.ml, et nulle part d'autre. Aucun des deux fichiers n'a de déclaration de la fonction.

J'ai remarqué le bug dans cc029128, peut-être que le problème viens d'avant.

Voici un exemple d'exécution :

ledit rdbg -l 100000 0 --sasa --missing-vars-last -env "sasa ring2.dot --replay -custd"
Enter one of the following key (the first is the default one):
 [] create a fresh session
 [q] quit

[/q]: 
Reading my-rdbg-tuning.ml..
nb: some messages are written to the rdbg.log file
--> type 'l' to obtain the list of Level 0 commands
    or type 'h' to get a short manual
(rdbg) 
Error 3: '
File "/home/username/.opam/ocaml-base-compiler.4.12.0/lib/sasa/sasa-rdbg-cmds.ml", line 169, characters 10-22:
169 |   let e = rev_cond_gen e (fun ne -> ne.kind = e.kind && ne.name = e.name)
                ^^^^^^^^^^^^
Error: Unbound value rev_cond_gen
Hint: Did you mean next_cond_gen?

An error occured when reading the my-rdbg-tuning.ml file
cf "rdbg.log" for more messages
'
Bye

changed title from Sasa does not interpret well paths starting with ./ to {+Fonction rev_cond_gen manquante+}

mentioned in commit f426eae6

Je n'ai pas le pb. Quelle version de rdbg ? Dans quel repertoire as tu fais ce test ?

sasa/test/coloring$ opam list rdbg installed
# Packages matching: (installed | available) & (name-match(rdbg) | name-match(installed))
# Name # Installed # Synopsis
rdbg   1.195.0     RDBG: a reactive programs debugger

rev_cond_gen est fourni par rdbg ?

Pour recréer juste là l'erreur, j'ai:

• checkout vers le commit f426eae6
• revert les modification sur tools/rdbg4sasa/sasa-rdbg-cmds.ml (càd décommenter les fonctions back_step et b)
• lancé make && make install (pour que ce soit pris en compte lol)
• lancé make wib-run-exhaust dot=ring2.dot dans test/coloring

ca fonctionne chez moi en rdbg 1.196.15 => opam update + opam upgrade

D'acc, je savais pas que c'était une commande rdbg. Merci !

closed