mei_rt2_fix_1
Last change
on this file since e97d2e2 was
91ecdfa,
checked in by Mei <mei@…>, 11 years ago
|
1) fixed the java's LD_LIBRARY_PATH
2) move the inserting of id_credential into abac_id's constructor
instead of _load_id (some of the verification got jump over)
3) found couple of inconsistency -- sha changed when cert got
moved in and out of filesystem - trailing it.
|
-
Property mode set to
100755
|
File size:
202 bytes
|
Rev | Line | |
---|
[97a6a36] | 1 | #!/bin/sh |
---|
| 2 | |
---|
| 3 | rm -rf hs_*.log |
---|
| 4 | |
---|
| 5 | keystore=`pwd` |
---|
| 6 | |
---|
| 7 | javac -classpath ${keystore}/build/classes prover_test.java |
---|
| 8 | |
---|
[91ecdfa] | 9 | java -classpath ${keystore}/build/classes:. prover_test ${keystore} IceCream delicious Chocolate |
---|
Note: See
TracBrowser
for help on using the repository browser.