Adapt tests

This commit is contained in:
Ettore Di Giacinto 2020-02-26 23:56:21 +01:00
parent 25f2abf103
commit a0618107a8
No known key found for this signature in database
GPG Key ID: 1ADA699B145A2D1C

View File

@ -211,7 +211,7 @@ var _ = Describe("Package", func() {
f, err := a1.BuildFormula(definitions, db)
Expect(err).ToNot(HaveOccurred())
Expect(len(f)).To(Equal(2))
Expect(len(f)).To(Equal(8))
// Expect(f[0].String()).To(Equal("or(not(c31f5842), a4910f77)"))
// Expect(f[1].String()).To(Equal("or(not(c31f5842), not(a97670be))"))
})