The cfg(stainless) did not work as desired previously, because it was evaluated at compilation
of the macro crate instead of the compilation of the actual file to verify. This is solved
by inlining the cfg(stainless) conditional code into the macro's output. The way the feature
is set in stainless_frontend was inspired by MIRAI.
Closes #114.
The
cfg(stainless)did not work as desired previously, because it was evaluated at compilation of the macro crate instead of the compilation of the actual file to verify. This is solved by inlining thecfg(stainless)conditional code into the macro's output. The way the feature is set instainless_frontendwas inspired by MIRAI.