• Home
• it.unibo.tuprolog
• test-solve
• 0.30.4
• source code
• SolverTest.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

commonMain.it.unibo.tuprolog.solve.SolverTest.kt Maven / Gradle / Ivy

package it.unibo.tuprolog.solve

import it.unibo.tuprolog.Info
import it.unibo.tuprolog.Os

interface SolverTest {
    /** A short test max duration */
    val shortDuration: TimeDuration
        get() = 500L * OS_SPECIFIC_TIME_MULTIPLIER

    /** A medium test max duration */
    val mediumDuration: TimeDuration
        get() = 2 * shortDuration

    /** A long test max duration */
    val longDuration: TimeDuration
        get() = 4 * mediumDuration

    companion object {
        private val OS_SPECIFIC_TIME_MULTIPLIER: Int = when (Info.OS) {
            Os.WINDOWS -> 2
            else -> 1
        }
    }
}