m-sedl

let isCorrectBracketsSeq (str: string) =
    let getNewBalance balance char =
        if balance < 0 then
            balance
        else
            balance + match char with
                        | '(' -> 1
                        | ')' -> -1
                        | _ -> 0
    

m-sedl

import kotlin.math.sqrt

fun main() {
    val result1 = findAllPrimesBySieveOfEratosthenes(100)
    val result2 = findAllPrimesByBruteForce(100)

    println(result1.joinToString())
    println(result2.joinToString())
}

m-sedl

fun main() {
    val list1 = ImmutableIntList(0)
    println(list1)

    val list2 = list1.add(1).add(2).add(4).add(5)
    println(list2)

    val list3 = list2.addAt(3,2)
    println(list3)

m-sedl

#include <stdio.h>
#include <math.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

int main(int argc, char *argv[]) {
	int k, i, j;
	int m, n;
	double **r, **q, **a, mysum;

m-sedl

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

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

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

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

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

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

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

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

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

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