cli-tests.bats

#!/usr/bin/env bats
# vi: ft=bash
# test runner is https://github.com/bats-core/bats-core

# tags:
#  expand: uses expansion
#  symbolic: requires cvc5
#  target: uses --target option

# bats test_tags=symbolic,buckets
@test "full symbolic buckets" {
  result="$(./color-unfolder buckets#4#3#5 | wc -l)"
  [ "$result" -eq 442 ]
}

# bats test_tags=expand,buckets
@test "full expanded buckets" {
  result="$(./color-unfolder buckets#4#3#5 --expand | wc -l)"
  [ "$result" -eq 442 ]
}

# bats test_tags=symbolic,target,buckets
@test "reachable goal symbolic buckets" {
  ./color-unfolder buckets#4#3#5 --output=none --target=goal
}

# bats test_tags=expand,target,buckets
@test "reachable goal expanded buckets" {
  ./color-unfolder buckets#4#3#5 --output=none --target=goal --expand
}

# bats test_tags=symbolic,target,buckets
@test "unreachable goal symbolic buckets" {
  run ./color-unfolder buckets#4#3#6 --output=none --target=goal
  [ "$status" -ne 0 ]
}

# bats test_tags=expand,target,buckets
@test "unreachable goal expanded buckets" {
  run ./color-unfolder buckets#4#3#6 --output=none --target=goal --expand
  [ "$status" -ne 0 ]
}

# bats test_tags=symbolic
@test "full symbolic parallel amnesia" {
  result="$(./color-unfolder parallel-amnesia#3 | wc -l)"
  [ "$result" -eq 25 ]
}

# bats test_tags=expand
@test "full expanded parallel amnesia" {
  result="$(./color-unfolder parallel-amnesia#3 --expand-with=0..5 | wc -l)"
  [ "$result" -eq 17285 ]
}

# bats test_tags=expand
@test "full expanded parallel amnesia no jit expand" {
  result="$(./color-unfolder parallel-amnesia#3 --expand-with=0..5 --no-jit-expand | wc -l)"
  [ "$result" -eq 17285 ]
}

# bats test_tags=symbolic,diamond
@test "full symbolic independent diamond 3 places" {
  result="$(./color-unfolder independent-diamond#3 | wc -l)"
  [ "$result" -eq 17 ]
}

# bats test_tags=symbolic,diamond
@test "full symbolic independent diamond 4 places" {
  result="$(./color-unfolder independent-diamond#4 | wc -l)"
  [ "$result" -eq 20 ]
}

# bats test_tags=symbolic,diamond
@test "full symbolic independent diamond 100 places" {
  result="$(./color-unfolder independent-diamond#100 | wc -l)"
  [ "$result" -eq 308 ]
}

# bats test_tags=expand,diamond
@test "full expanded independent diamond 3 places 3 colors" {
  result="$(./color-unfolder independent-diamond#3 --expand-with=1..3 | wc -l)"
  [ "$result" -eq 329 ]
}

# bats test_tags=expand,diamond
@test "full expanded independent diamond 3 places 4 colors" {
  result="$(./color-unfolder independent-diamond#3 --expand-with=1..4 | wc -l)"
  [ "$result" -eq 773 ]
}

# bats test_tags=expand,diamond
@test "full expanded independent diamond 4 places 3 colors" {
  result="$(./color-unfolder independent-diamond#4 --expand-with=1..3 | wc -l)"
  [ "$result" -eq 1220 ]
}

# bats test_tags=symbolic,gcd
@test "full symbolic gcd(12, 9) size" {
  result=$(./color-unfolder gcd#12#9 | wc -l)
  [ "$result" -eq 25 ]
}

# bats test_tags=expand,gcd
@test "full expanded gcd(12, 9) size" {
  result=$(./color-unfolder gcd#12#9 --expand | wc -l)
  [ "$result" -eq 25 ]
}

# bats test_tags=expand,gcd
@test "full expanded gcd(12, 9) output 3" {
  ./color-unfolder gcd#12#9 --expand | grep p3#3
}

# bats test_tags=expand,gcd
@test "full expanded gcd(12, 9) outputs nothing except 3" {
  run bash -c './color-unfolder gcd#12#9 --expand | grep "(p3#[^3])"'
  [ "$status" -ne 0 ]
}

# bats test_tags=symbolic,gcd
@test "full symbolic isqrt(100) size" {
  result=$(./color-unfolder isqrt#100 | wc -l)
  [ "$result" -eq 101 ]
}

# bats test_tags=expand,gcd
@test "full expanded isqrt(100) size" {
  result=$(./color-unfolder isqrt#100 --expand | wc -l)
  [ "$result" -eq 101 ]
}

# bats test_tags=symbolic,target,hobbits
@test "reachable symbolic hobbitsAndOrcs#3#2#2" {
  ./color-unfolder hobbitsAndOrcs#3#2#2 --output=none --target=goal
}

# bats test_tags=expand,target,hobbits
@test "reachable expanded hobbitsAndOrcs#3#2#2" {
  ./color-unfolder hobbitsAndOrcs#3#2#2 --output=none --target=goal --expand
}

# bats test_tags=symbolic,target,hobbits
@test "unreachable symbolic hobbitsAndOrcs#4#2#2" {
  run ./color-unfolder hobbitsAndOrcs#4#2#2 --output=none --target=goal
  [ "$status" -ne 0 ]
}

# bats test_tags=expand,target,hobbits
@test "unreachable expanded hobbitsAndOrcs#4#2#2" {
  run ./color-unfolder hobbitsAndOrcs#4#2#2 --output=none --target=goal --expand
  [ "$status" -ne 0 ]
}

# bats test_tags=symbolic,target,hobbits
@test "reachable symbolic hobbitsAndOrcs#3#3#2" {
  ./color-unfolder hobbitsAndOrcs#3#3#2 --output=none --target=goal
}

# bats test_tags=expand,target,hobbits
@test "reachable expanded hobbitsAndOrcs#3#3#2" {
  ./color-unfolder hobbitsAndOrcs#3#3#2 --output=none --target=goal --expand
}

# bats test_tags=symbolic,target,hobbits
@test "reachable symbolic hobbitsAndOrcs#4#3#2" {
  ./color-unfolder hobbitsAndOrcs#4#3#2 --output=none --target=goal
}

# bats test_tags=expand,target,hobbits
@test "reachable expanded hobbitsAndOrcs#4#3#2" {
  ./color-unfolder hobbitsAndOrcs#4#3#2 --output=none --target=goal --expand
}

# bats test_tags=symbolic,target,hobbits
@test "reachable symbolic hobbitsAndOrcs#5#3#2" {
  ./color-unfolder hobbitsAndOrcs#5#3#2 --output=none --target=goal
}

# bats test_tags=expand,target,hobbits
@test "reachable expanded hobbitsAndOrcs#5#3#2" {
  ./color-unfolder hobbitsAndOrcs#5#3#2 --output=none --target=goal --expand
}

# bats test_tags=symbolic,target,hobbits
@test "unreachable symbolic hobbitsAndOrcs#6#3#2" {
  run ./color-unfolder hobbitsAndOrcs#6#3#2 --output=none --target=goal
  [ "$status" -ne 0 ]
}
# bats test_tags=expand,target,hobbits
@test "unreachable expanded hobbitsAndOrcs#6#3#2" {
  run ./color-unfolder hobbitsAndOrcs#6#3#2 --output=none --target=goal --expand
  [ "$status" -ne 0 ]
}