Documentation out of dateLearn more
%trustme
The %trustme keyword, when it precedes another directive such as a %total directive, causes STELF to believe that the directive succeeded even if it did not. This feature is only available in unsafe mode, and can be used to easily create holes in metatheorems.