Method getInvariant

InvariMint/src/model/InvModel.java:61–63 · view source on GitHub ↗

Returns this model's invariant.

()

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

testGetInvariantMethod · 0.95

intersectWithMethod · 0.45

runInvariMintMethod · 0.45

testGetInvariantsMethod · 0.45

no outgoing calls

testGetInvariantMethod · 0.76

testGetInvariantsMethod · 0.36