source: examples/scaling_tests/gettime @ 2485307

mei_rt2mei_rt2_fix_1
Last change on this file since 2485307 was 519e487, checked in by Mei <mei@…>, 12 years ago

1) add more doc to scaling tests
  • Property mode set to 100755
File size: 175 bytes
Line 
1#!/bin/sh
2
3ABAC_PROVER_PATH=`which abac_prover_yap | sed 's/\/abac_prover_yap//'`
4export ABAC_PROVER_PATH
5
6echo '\n'
7echo 'getting libabac SCALING times...'
8.runall gettime
Note: See TracBrowser for help on using the repository browser.