Changeset 119 in PSPA for testPhilPSPA/trunk/goParmela.sh


Ignore:
Timestamp:
Dec 1, 2012, 10:37:12 AM (12 years ago)
Author:
lemeur
Message:

remise en ordre

File:
1 edited

Legend:

Unmodified
Added
Removed

  • testPhilPSPA/trunk/goParmela.sh

    r17 r119  
    77ln -s $pbpath/$nameparm.in $pbpath/parmin
    88echo $parmelapath
    9 $parmelapath/parmelamacOS
     9$parmelapath/parmela $pbpath
    1010/bin/rm  $pbpath/parmin
    1111mv parmimp $pbpath/$nameparm.imp
Note: See TracChangeset for help on using the changeset viewer.