why3wc breaks in presence of (*)
why3 wc
gives a strange result on int.mlw
and other files that contain the symbol (*)
, probably confusing it with comments:
$ why3 wc stdlib/int.mlw
spec code comments
1 6 375 stdlib/int.mlw
Replacing (*) with another symbol such as (!) makes why3 wc
give a normal-looking result.