source:
examples/scaling_tests/gettime
@
e205b49
| Last change on this file since e205b49 was 519e487, checked in by , 12 years ago | |
|---|---|
|
|
| File size: 175 bytes | |
| Rev | Line | |
|---|---|---|
| [519e487] | 1 | #!/bin/sh |
| 2 | ||
| 3 | ABAC_PROVER_PATH=`which abac_prover_yap | sed 's/\/abac_prover_yap//'` | |
| 4 | export ABAC_PROVER_PATH | |
| 5 | ||
| 6 | echo '\n' | |
| 7 | echo 'getting libabac SCALING times...' | |
| 8 | .runall gettime |
Note: See TracBrowser
for help on using the repository browser.
