Want more features on Pastebin? Sign Up, it's FREE!

Scala problem

By: ultiprosan on Feb 25th, 2012  |  syntax: None  |  size: 0.46 KB  |  views: 6  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
This paste has a previous version, view the difference. Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. Test score: 5/6
  2.  
  3. Test testSimplify1 failed:
  4. Expected
  5. Or(Or(Or(And(Atom(x1),And(Not(Atom(x2)),Not(Atom(x3)))),Impl(And(Atom(x3),Atom(x4)),Atom(x1))),Equiv(Atom(x2),Or(Atom(x1),Atom(x2)))),Or(Not(Atom(x4)),Or(Not(Atom(x3)),Not(Atom(x4)))))
  6. but got
  7. Or(Or(Or(And(Atom(x1),Not(Or(Atom(x2),Not(Not(Atom(x3)))))),Impl(Not(Or(Not(Atom(x3)),Not(Atom(x4)))),Atom(x1))),Equiv(Atom(x2),Or(Atom(x1),Atom(x2)))),Not(And(Atom(x4),Not(Not(Not(Not(And(Atom(x3),Atom(x4)))))))))
clone this paste RAW Paste Data