Project

General

Profile

Download (162 Bytes) Statistics
| Branch: | Tag: | Revision:
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
(1-1/4)