utwente-fmt/vercors

The --skip-backend flag does nothing

Closed this issue · 1 comments

superaxander commented

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

sakehl commented

I've noticed the same.

A while back I added some code in a custom branch to actually skip the back-end, see here:
ab07e10

Can probably be reused.