tests/testthat/test-constraint-not-succession.R

In RainMad/constraints-based-miner: An implementation of a Constraints Based Miner

library(testthat)
library(shinytest)
library(dplyr)

context("test constraint 'not succession'")

test_that("Constratint 'not succession' works", {
  
  activity1 = "A"
  activity2 = "B"
  
  result <- not_succession(eventlog, activity1, activity2)
  
  expect_false(filter_result(result, Trace1))
  expect_false(filter_result(result, Trace2))
  expect_true(filter_result(result, Trace3))
  expect_true(filter_result(result, Trace4))
  expect_true(filter_result(result, Trace5))
  expect_true(filter_result(result, Trace6))
  expect_true(filter_result(result, Trace7))
  expect_true(filter_result(result, Trace8))
  expect_false(filter_result(result, Trace9))
  expect_false(filter_result(result, Trace10))
  expect_false(filter_result(result, Trace11))
  expect_false(filter_result(result, Trace12))
})