m-sedl

db.createCollection("products");
db.createCollection("orders");

db.products.insertMany([
    { name: "milk", price: 45.50 },
    { name: "bread", price: 30.99 },
    { name: "cheese", price: 123.59 },
    { name: "sugar", price: 53.59 },
]);

m-sedl

using System.Reflection.Metadata;
using System.Text;

namespace Foo;

class TestSequencePointsIndex
{
    private readonly Dictionary<string, List<SequencePoint>> _index = new ();
    
    public FooClass(params string[] pdbPaths)

m-sedl

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!

m-sedl

LOAD DATA
CHARACTERSET UTF8
INFILE 'FACULTIES.CSV'
BADFILE 'FACULTIES.bad'
DISCARDFILE 'FACULTIES.dsc'
TRUNCATE
INTO TABLE STUDENT_DB.faculty
FIELDS TERMINATED BY ';'
TRAILING NULLCOLS
( 

m-sedl

Как я развернул Oracle и подключился к нему

Разворачиваем Oracle

Я развернул в виде докер-контейнера. Так, имхо, меньше боли. Сделал я это командой:

docker run --name testdb \
-p 1521:1521 -p 5500:5500 \
-e ORACLE_PWD=<ваш пароль> \
-e ORACLE_CHARACTERSET=AL32UTF8 \
-d \

m-sedl

msedlyarskiy@my-dev ~/p/VSharp (master) [1]> sudo dotnet build --configuration Release
Microsoft (R) Build Engine version 17.0.1+b177f8fa7 for .NET
Copyright (C) Microsoft Corporation. All rights reserved.

  Determining projects to restore...
  All projects are up-to-date for restore.
  mkdir: cannot create directory ‘cmake-build-debug’: File exists
  Build type: Debug
  Logging enabled
  -- Configuring done

m-sedl

MyProgram p = new MyProgram("whatever.txt");
// FIXME: should close the global streams by calling p.Cleanup()
// Null dereference error report expected.
p.NullDeReferenceBad().GetHashCode();
// No null dereference error report expected.
p.NullDeReferenceOK().GetHashCode();

public class MyProgram
{
    private StreamReader SRGlobal;  

m-sedl

drop sequence log_id_seq;

create sequence log_id_seq
    start with 0
    increment by 1;

create table debug_log (
    id number constraint log_id primary key,
    lod_time date constraint log_time_nl not null,
    message varchar(2000) constraint message_not_null not null,

m-sedl

sealed class Formula {
    data class Var(val id: String) : Formula() {
        override fun toString(): String {
            return super.toString()
        }
    }
    data class Neg(val operand: Formula): Formula() {
        override fun toString(): String {
            return super.toString()
        }

m-sedl

using System;
using System.Collections.Generic;
using Microsoft.Z3;

namespace unsat_cores_csharp
{
    class Program
    {
        public static void UnsatCoreAndProofExample(Context ctx)
        {