tests/testthat/testIsObviouslyInfeasible.R

library(testthat)

context("Obvious infeasibility")

test_that("Obvious infeasibility is detected",{
    expect_true(isObviouslyInfeasible(editmatrix("0*x == 1")))    
    expect_true(isObviouslyInfeasible(editmatrix("0*x < -1")))
    expect_true(isObviouslyInfeasible(editmatrix("1e-12*x <= -1")))    
    expect_true( isObviouslyInfeasible(editmatrix("0*x  < 0")))
    expect_true( isObviouslyInfeasible(editmatrix("0*x  < 1e-12")))
    expect_true( isObviouslyInfeasible(editmatrix("1e-12*x  < 1e-12")))
    expect_false(isObviouslyInfeasible(editmatrix("0*x  <= 0")))
    expect_false(isObviouslyInfeasible(editmatrix("x  <= 0")))
    expect_false(isObviouslyInfeasible(editmatrix("0*x  <=1e-12")))
})

Try the editrules package in your browser

Any scripts or data that you put into this service are public.

editrules documentation built on June 22, 2024, 12:21 p.m.