msakai / pseudo-boolean Goto Github PK

> putStr $ toOPBString $ Formula{ pbObjectiveFunction = Just [], pbConstraints = [], pbNumVars = 0, pbNumConstraints = 0 }
* #variable= 0 #constraint= 0
min: ;

> putStr $ toOPBString $ Formula{ pbObjectiveFunction = Nothing, pbConstraints = [([], Ge, 0)], pbNumVars = 0, pbNumConstraints = 1 }
* #variable= 0 #constraint= 1
>= 0;

<sum>::= <weightedterm> | <weightedterm> <sum>

Running 1 test suites...
Test suite TestPBFile: RUNNING...
Main
  readUnsignedInteger:                OK
    +++ OK, passed 100 tests.
  exampleLIN:                         OK
  exampleNLC1:                        OK
  exampleNLC2:                        OK
  exampleWBO1:                        OK
  exampleWBO2:                        OK
  exampleWBO3:                        OK
  exampleLIN file:                    OK
  exampleNLC1 file:                   OK
  exampleNLC2 file:                   OK
  exampleWBO1 file:                   OK
  exampleWBO2 file:                   OK
  exampleWBO3 file:                   OK
  exampleLIN PBS file:                OK
  exampleLIN nohint file:             OK
  exampleWBO1 nohint file:            OK
  exampleWBO1 notop file:             OK
  normalized 1096 cudf paranoid:      FAIL
    Exception: test/samples/normalized-1096.cudf.paranoid.opb: openBinaryFile: does not exist (No such file or directory)
  normalized mds 50 10 4:             OK
  normalized opt market split 4 30 2: OK
  pigeonhole 5 4:                     OK
  readUnsignedInteger maxBound bug:   OK

1 out of 22 tests failed (0.02s)
Test suite TestPBFile: FAIL