forked from runtimeverification/solidity
-
Notifications
You must be signed in to change notification settings - Fork 0
/
ciscript
executable file
·36 lines (30 loc) · 1.22 KB
/
ciscript
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
# clean
export PATH=~/.local/bin:$PATH
rm -rf deps build test/failed iele-example-tests/auction/auction.iele
# build
mkdir build
cd build
cmake .. -DCMAKE_BUILD_TYPE=Debug
make -j`nproc`
cd ..
# run simple end-to-end test
# needs iele-semantics installed and blockchaintest in the path
./build/solc/isolc --asm iele-example-tests/auction/auction.sol -o iele-example-tests/auction
diff iele-example-tests/auction/SimpleAuction.iele iele-example-tests/auction/auction.iele.ref
iele-vm 0 127.0.0.1 > port &
sleep 3
export PORT=`cat port | awk -F ':' '{print $3}'`
for f in $(ls iele-example-tests/auction/*.json); do
iele-test-vm $f $PORT
done
# run command line tests
./test/ieleCmdlineTests.sh
iele-test-client build/ipcfile $PORT &
sleep 3
# run boost tests
./build/test/soltest -c no -e build/report.xml -r detailed -m xml -k build/log.xml -l all -f xml -- --ipcpath build/ipcfile --testpath test
iconv -f iso-8859-1 -t utf-8 build/log.xml -o build/log-utf8.xml && mv -f build/log-utf8.xml build/log.xml
xmllint --xpath "//TestCase[@assertions_failed!=@expected_failures]" build/report.xml && false
xmllint --xpath '//TestCase[@result="skipped"]' build/report.xml && false
cd build && gcovr -x -r .. -e ../test -o coverage.xml
kill %1 %2