9c92410e2a
Attempts to verify all the properties defined in the security model, while also being portable and able to run on many platforms.
13 lines
133 B
Bash
Executable File
13 lines
133 B
Bash
Executable File
#!/bin/bash
|
|
|
|
TMP=`tempfile`
|
|
|
|
echo $TMP
|
|
while true
|
|
do
|
|
radamsa sample_data/* > $TMP
|
|
$1 < $TMP
|
|
test $? -gt 127 && break
|
|
done
|
|
|