Skip to content

Instantly share code, notes, and snippets.

@m-sedl

m-sedl/litedb_vsharp.log

Created November 19, 2022 22:16
Show Gist options
  • Save m-sedl/720930e134b8dd16dba29faee6ce5644 to your computer and use it in GitHub Desktop.
Save m-sedl/720930e134b8dd16dba29faee6ce5644 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
litedb_vsharp.log
msedlyarskiy@my-dev ~/p/VSharp (master)> run_vsharp --all-public-methods /home/msedlyarskiy/benchmark/projects/litedb/LiteDB/bin/Debug/netstandard2.0/LiteDB.dll
EXCEPTION | LiteDB.LiteCollection`1[T].Count | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].Count | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].LongCount | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].LongCount | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].Exists | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].Exists | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].Min | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].Max | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].DeleteMany | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].Find | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].Find | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].FindOne | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].FindOne | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].Include | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].EnsureIndex | UnknownMethodException New extern method: System.Int32 Interop+Sys.LChflagsCanSetHiddenFlag()
EXCEPTION | LiteDB.LiteCollection`1[T].EnsureIndex | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].EnsureIndex | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].Insert | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].Update | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].Update | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteCollection`1[T].UpdateMany | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteDatabase.GetCollection | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteDatabase.GetCollection | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteDatabase.get_FileStorage | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteDatabase.GetStorage | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteDatabase.GetCollectionNames | InternalException reading from ReadOnlySpan by ptr is not implemented
EXCEPTION | LiteDB.LiteDatabase.CollectionExists | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteDatabase.DropCollection | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteDatabase.RenameCollection | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteDatabase.Execute | NotImplementedException The method or operation is not implemented.
EXCEPTION | LiteDB.LiteDatabase.Execute | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteDatabase.get_Collation | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteDatabase.Dispose | UnknownMethodException New extern method: System.Void System.GC._SuppressFinalize(System.Object)
EXCEPTION | LiteDB.LiteQueryable`1[T].Include | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteQueryable`1[T].Include | UnknownMethodException New extern method: System.Void System.Runtime.CompilerServices.RuntimeHelpers.RunClassConstructor(System.Runtime.CompilerServices.QCallTypeHandle)
EXCEPTION | LiteDB.LiteQueryable`1[T].Include | NullReferenceException Object reference not set to an instance of an object.
EXCEPTION | LiteDB.LiteQueryable`1[T].Where | UnknownMethodException New extern method: System.Void System.Runtime.CompilerServices.RuntimeHelpers.RunClassConstructor(System.Runtime.CompilerServices.QCallTypeHandle)
EXCEPTION | LiteDB.LiteQueryable`1[T].Where | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteQueryable`1[T].OrderBy | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteQueryable`1[T].OrderByDescending | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteQueryable`1[T].Select | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteQueryable`1[T].Select | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.LiteQueryable`1[T].Single | UnknownMethodException New extern method: System.Int32 System.Reflection.RuntimeAssembly.GetToken(System.Reflection.RuntimeAssembly)
EXCEPTION | LiteDB.LiteQueryable`1[T].First | UnknownMethodException New extern method: System.Int32 System.Reflection.RuntimeAssembly.GetToken(System.Reflection.RuntimeAssembly)
EXCEPTION | LiteDB.LiteRepository.Dispose | UnknownMethodException New extern method: System.Void System.GC._SuppressFinalize(System.Object)
EXCEPTION | LiteDB.EntityBuilder`1[T].Ignore | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.EntityBuilder`1[T].Field | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.EntityBuilder`1[T].Id | UnreachableException unreachable branch hit!
EXCEPTION | LiteDB.EntityBuilder`1[T].DbRef | UnreachableException unreachable branch hit!
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment