Initializing variable which contains global snapshotting regions

[c11tester.git] / run.sh~

#!/bin/sh

export LD_LIBRARY_PATH=.
./model