Code

Tests#30

Code

Merged

nrueh merged 26 commits intomasterpotassco/coom-suite:masterfrom testspotassco/coom-suite:testsCopy head branch name to clipboardDec 20, 2024

+2,879-686

Commits

Commits on Dec 2, 2024

• more tests for require with structure. refactor solve tests.

  nrueh

  committed
  f5d1738

  Copy full SHA for f5d1738

Commits on Dec 3, 2024

• renamed --show to --show-facts

  nrueh

  committed
  6ca2893

  Copy full SHA for 6ca2893

• added two tests for combinations with partonomy

  nrueh

  committed
  19edc1e

  Copy full SHA for 19edc1e

Commits on Dec 4, 2024

• added another combination with structure test

  nrueh

  committed
  2905516

  Copy full SHA for 2905516

• added test function for NumModels

  nrueh

  committed
  8e58b20

  Copy full SHA for 8e58b20

• added some tests for numerics and arithmetics

  nrueh

  committed
  64f8908

  Copy full SHA for 64f8908

Commits on Dec 5, 2024

• added unary formula evaluation to fclingo encoding. added more numeric tests.

  nrueh

  committed
  f1c47e1

  Copy full SHA for f1c47e1

• refactored options in application class

  nrueh

  committed
  97f48cd

  Copy full SHA for 97f48cd

• started separating tests for preprocessing and encoding

  nrueh

  committed
  319301f

  Copy full SHA for 319301f

Commits on Dec 19, 2024

• added basic boolean tests

  nrueh

  committed
  953a77b

  Copy full SHA for 953a77b

• added undef boolean tests and user input tests

  nrueh

  committed
  8a37891

  Copy full SHA for 8a37891

• add arithmetics tests

  nrueh

  committed
  3765b79

  Copy full SHA for 3765b79

• added aggregate tests

  nrueh

  committed
  fd99ebc

  Copy full SHA for fd99ebc

• added table constraint tests

  nrueh

  committed
  1f66a76

  Copy full SHA for 1f66a76

• refactored tests. added first preprocess test. renamed bool attribute to Bool in encoding.

  nrueh

  committed
  37db902

  Copy full SHA for 37db902

• refactored tests. added first preprocess test. renamed bool attribute to Bool in encoding.

  nrueh

  committed
  6893e68

  Copy full SHA for 6893e68

• resovled merge conflict

  nrueh

  committed
  3c9a493

  Copy full SHA for 3c9a493

Commits on Dec 20, 2024

• added preprocessing tests for structure and enumeration

  nrueh

  committed
  8bfdac8

  Copy full SHA for 8bfdac8

• added preprocessing tests for COOM require constraints

  nrueh

  committed
  1b6ab30

  Copy full SHA for 1b6ab30

• added preprocessing tests for COOM combinations table and user input

  nrueh

  committed
  7e02328

  Copy full SHA for 7e02328

• added preprocessing tests for COOM numerics

  nrueh

  committed
  2c867d6

  Copy full SHA for 2c867d6

• typefix

  nrueh

  committed
  21b473a

  Copy full SHA for 21b473a

• fix linting. remove py3.9 from github ci

  nrueh

  committed
  04773f0

  Copy full SHA for 04773f0

• added some more preprocessing tests

  nrueh

  committed
  a0e1199

  Copy full SHA for a0e1199

• added preprocessing tests for COOM count and sum

  nrueh

  committed
  233ca6f

  Copy full SHA for 233ca6f

• Merge pull request #31 from potassco/separate-tests

  Show description for 0a0c278
  nrueh

  authored
  0a0c278

  Copy full SHA for 0a0c278