4.19 Forward

Passage à la commande sauvegardée suivante

Syntaxe

  fw

Utilisation

Cette commande permet d’ignorer la commande suivante de la ligne de commande sauvegardée.

Exemple

Soit l’obligation de preuve dont la ligne de commande sauvegardée est :


 
    Command line :  
        Force(0) &  
          Next  
    Saved line pos 1  
        Force(0) &  
        ar(test.1,Fwd) &  
        dd &  
        pr  
 


Exécutons la première commande sauvegardée :


 
PRI> st  
Next step: ar(test.1,Fwd)  
 


La première commande sauvegardée s’applique :


 
Starting Apply Rule  
    Command line :  
        Force(0) &  
          ar(test.1,Fwd) &  
            Next  
    Saved line pos 2  
 


Il est possible de ne pas exécuter la commande sauvegardée suivante (dd) en faisant appel à la commande fw :


 
PRI> fw  
 


La prochaine commande sauvegardée sera donc pr :


 
PRI> st  
Next step pr  
Starting Prover Call  
 


La ligne de commande obtenue est donc :


 
   Command line :  
        Force(0) &  
          ar(test.1,Fwd) &  
            pr &  
          Next  
    Saved line pos 3