search

utwente-fmt / vercors

The VerCors verification toolset for verifying parallel and concurrent software
https://utwente.nl/vercors
Mozilla Public License 2.0
55 stars 26 forks source link

The --skip-backend flag does nothing #1152

Closed superaxander closed 6 months ago

superaxander commented 7 months ago

The --skip-backend command line option does nothing. The boolean it sets is never used.

sakehl commented 7 months ago

I've noticed the same.

A while back I added some code in a custom branch to actually skip the back-end, see here: https://github.com/utwente-fmt/vercors/commit/ab07e1006634b4a85b3f99ea357ffbed25d5d800

Can probably be reused.