We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 670a8de commit b2401a1Copy full SHA for b2401a1
test/samples/misc_08.instrumented.sol
@@ -1,6 +1,6 @@
1
/// This file is auto-generated by Scribble and shouldn't be edited directly.
2
/// Use --disarm prior to make any changes.
3
-pragma solidity 0.8.28;
+pragma solidity 0.8.29;
4
5
enum A {
6
A,
test/samples/unicode.instrumented.sol
/// 😀😀😀😀😀😀😀
/// #invariant "😀😀😀😀😀😀😀" true;
0 commit comments