Cargo Features
dafny-runtime has no features set by default.
[dependencies]
dafny-runtime = { version = "0.2.0", features = ["sync"] }- sync
-
Affects
dafny-runtime::DynAny,dafny-runtime::UnsafeCell,dafny-runtime::DafnyType,dafny-runtime::allocate_object_track,dafny-runtime::rcmut.downcast…