Unsupported Revert Statement

[elizabethdinella]

Hi,

I am trying to run SmarTest on contracts that use the ERC721A library.
The library contains a revert statement which I believe is causing a crash.

Example of such a revert statement:
https://github.com/chiru-labs/ERC721A/blob/main/contracts/ERC721A.sol#L166

Command I am running (solidity version 0.8.4):

./main.native -input ../solidity-flattener/out/DeadMansHeadClub_flat.sol -mode 
exploit -exploit_timeout 60 -main DeadMansHeadClub

[CHECKER] Integer Over/Underflows
[CHECKER] Division-by-zero
[CHECKER] Suicidal
[CHECKER] Ether-Leaking

Failure("Unsupported: trans_statement - RevertStatement : line 744")
Raised at file "string.ml", line 114, characters 19-34
Called from file "string.ml", line 176, characters 15-34

Why is this revert statement not supported?