java.lang.IllegalStateException: Unmatched method entry/exit events! - from agrobots

runtimeverification / rv-predict

Code for improved rv-predict and installer

BSD 3-Clause "New" or "Revised" License

2 stars 3 forks source link

java.lang.IllegalStateException: Unmatched method entry/exit events! - from agrobots #1026

Open maya-rv opened 5 years ago

maya-rv commented 5 years ago

git clone https://github.com/pmodels/argobots/ --depth=1
cd argobots
./autogen.sh
env CC=rvpc CXX=rvpc++ ./configure
make -j`nproc`
make -j`nproc` -C examples/
./examples/stencil_thread