Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / sandbox / zustre / compare.sh @ 81306cb7

History | View | Annotate | Download (162 Bytes)

1
#!/bin/bash
2

    
3
~/Repositories/git/github/coco-team/zustre/build/run/bin/zustre nstep.smt2
4

    
5
LD_LIBRARY_PATH=/home/ploc/Local/lib lustrev -node top -zustre nstep.lus