2 Commits

Author SHA1 Message Date
Lorenz Herzberger
2d9d907fa7
fix invariant and add message
Signed-off-by: Lorenz Herzberger <lorenzherzberger@gmail.com>
2023-10-10 14:49:32 +02:00
Lorenz Herzberger
0fe015a308
add MintRequestInvariants
Signed-off-by: Lorenz Herzberger <lorenzherzberger@gmail.com>
2023-10-10 12:11:03 +02:00